Kで成り立つと仮定する。ここでのKは全ての実数を表すはず。
それでK+1でなりたつことを証明するのだが、ここでまってほしい。

たとえばK=2のときK+1=3で成り立ったとする。
しかしどうだろうこのK+1=3が成り立つのは、
「Kで成り立つと仮定」したからではないだろうか。
わかりやすく言うとK+1=3が成り立つのは、そのまえに
Kは全ての実数なんだからK=3のときに成り立つとも仮定
されているからではないだろうか。