15/04/05 06:53:33.15 X55sT+uM.net
>だから、数学的帰納法または自然数に関するペアノの公理と同じ理屈で、N→∞とすることができる」に賛同するのか反対するのか?
>反対するなら、はっきり理由を述べよ
∞∈/Nだからダメ
数学的帰納法の主張は、「n∈N⇒P(n)は真」であって、「P(∞)は真」ではない。
スレ主は見識が狭い。wikiに書かれていることが全てと思ってる。
(wikiは誰でも編集できてしまうということをお忘れなく)
俺は数学的帰納法が定理として証明されることを知っている。
(その立場では、自然数の公理も不要。必要なのは実数の17個の公理のみ。)
別に公理にしたければしても構わないが、俺は好かん。公理が少ない体系ほど美しいと思っているから。