レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

「集合・位相入門」輪読会

904：Мечислав(☆9) </b><font color=#FF0000>（DTxrDxh6）</font><b>：2005/02/10(木) 03:34:33: >>887
忘れてました.
http://jbbs.livedoor.jp/bbs/read.cgi/study/4125/1082477703/19
で自然数の整列性を仮定し,数学的帰納法の原理を証明しました.
>>887では,数学的帰納法の正しさは無条件に認めて,
数学的帰納法から,自然数の整列性を示したわけですね.
つまり
http://jbbs.livedoor.jp/bbs/read.cgi/study/4125/1082477703/19
と>>887によって
自然数の整列性と,数学的帰納法の原理という2つの命題は同値である
ことが示されたわけですね.
でもこの2命題自体の正しさはまだ言ってないことを,注意しておきます.

掲示板管理者へ連絡無料レンタル掲示板