17/08/20 11:00:41.56 pWaRphaP.net
>>225
ピエロ笑える（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
自然数の公理
略
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
略
と非常に単純な自然数になる。また、0 := {{}}, suc(a) := a ∪ {a} と定義したならば、
略
のような多少複雑な自然数になる。
(引用終り)