>>270
自動的にそう仮定してよい、とは言ってないが、いけない、とも言っていない。
どうやらわかったことは、n=kの成立を仮定したとき（n=1の成立を前もって確認
しておけば) n=1,2,…,k の成立は当然だと感じる人と、そうでない人がいる、
ということだ。後者の立場から、従って数学的帰納法と完全帰納法は区別すべきだ、
という意見が出てくることになる。（しかし区別したからといって、何かうれしい
ことがあるわけでもないらしいのは残念）リリパット王国に big-endian と
small-endian がいたように、数学的帰納法にも完全帰納法区別派と同一視派
がある、ということでいいんじゃないの？