✨ Best Answer ✨
_n=k が成り立つと仮定すると、n=k+1 が成り立つ、と言う事を証明していますよね?
_詰まり、1 だけ大きさの離れた、k と k+1 との関係性に付いてだけ、(n=k が成り立つ)と言う仮定の条件の下(もと)に、その関係性を証明しているのです。
_この段階では、(n=k が成り立つ)→(n=k+1 が成り立つ) と言う命題は、(n=k が成り立つ)と言う仮定の条件の下(もと)に成り立っているのです。
_n=1 の場合を証明することで、(n=k が成り立つ)と言う仮定の条件が、初めて、(仮定ではなく、明示的に、)全ての自然数で成り立つ事が証明されるのです。
_そして、(n=k が成り立つ)→(n=k+1 が成り立つ)を使って、整数全部に付いても説明出来るのです。