帰納と再帰

帰納（induction）と再帰（recursion）という言葉は使い分けたほうがいいと思う。のだが、どう使い分けていいか実はわからない。帰納は証明の手法で、再帰は定義の手段だ、とか言えばそれらしい。が、集合の定義で帰納的定義はあるしな。なんとなく、なるべく使い分けよう、わかんないながらに（まったく情けない主張だ）。