16/06/04 20:00:07.35 sCL4/KGi.net
>>364
＞数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”>>330で良いということは、ご理解いただけましたか？（＾＾；
これは酷い
数学的帰納法の主張は、「n∈N ⇒ P(n)は真」である。
∞∈/N なるものに対して、数学的帰納法は何も言っていない。
＞で？ >>144の問題とどんな関係が？
(n∈N ⇒ P(n)は真) ⇒ (n=∞ ⇒ P(n)は真) が真であれば、数学的帰納法は不完全であると言える。
実際には反例が存在するから不完全ではない。その反例を示すことを実体験しなさいと言ってるんだよ。
お前の理解が少しでも進む