- 369 名前：真です。「あなたの証明で使われてる理屈」は数学的帰納法通りです。
＞ですよ（＾＾
上記であなたは「あなたの証明(>>219)は誤りだ」と言ってるのですよ？わかりますか？
数学的帰納法で言えるのは
「co-tail は存在する」
ではなく
「∀n∈N に対し、co-tail(n)=(Φ，Φ，・・・, Φ，s_n，s_(n+1)，s_(n+2)，・・・) は存在する」
です。
「あらゆる自然数より大きい自然数が存在する」に対応するのが「co-tail は存在する」
「あらゆる自然数には、より大きい自然数が存在する」に対応するのが「∀n∈N に対し、co-tail(n)=(Φ，Φ，・・・, Φ，s_n，s_(n+1)，s_(n+2)，・・・) は存在する」
です。理解できますか？
もし理解できなければ、>>219 におけるあなたの命題を P(n) の形に焼き直して、証明を書き直すことをお奨めします。
そうすればより確実に >>219 の誤りに気付くと思います。 [] - [ここ壊れてます]
