19/09/02 20:34:06.59 C7KIpkvI.net
>>623-626
おまいら、一体全体、何を主張したいんだ？ｗ
ペアノの公理を否定したいのかｗ？！ （＾＾；
なお、おれは”無限集合の公理”を否定したことはない！
だれかと勘違いだろう？ 彼の書き込みを最近見ないけど （＾＾
（参考）
URLﾘﾝｸ(dictionary.goo.ne.jp)
一体全体（いったいぜんたい） の意味 出典：デジタル大辞泉（小学館） goo辞書
［副］「一体1」を強めた言い方。非常に強い疑問の気持ちを表す。「一体全体どうなっているんだ」
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
5. 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。 それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
形式的な定義
自然数の公理
自然数を初めに厳密に定義可能な公理として提示されたものにペアノの公理があり（1891年、ジュゼッペ・ペアノ）、以下のように自然数を定義することができる。
・1 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
最後の公理は、数学的帰納法を正当化するものである。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。