17/09/18 21:44:56.17 arAx3/4k.net
>>349補足
数学的帰納法とは、自然数 n に関する命題 P(n) について、
-------------------------------------------------------------
(1) P(0)=true
および
(2) ∀n∈N について、命題「P(n) ⇒ P(n+1)」=true
が成り立つなら、P(∀n∈N)=true が成り立つ
-------------------------------------------------------------
というものです。
>>219の証明を忠実にこの形に焼き直してみてはいかがでしょうか？
恐らくどこが誤っていたのか理解できると思いますよ。