21/12/13 07:11:46.33 opQRq1+v.net
>>183
つづき
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Singleton (mathematics)
URLﾘﾝｸ(ja.wikipedia.org)
単集合（たんしゅうごう、英: singleton; 単元集合、単項集合、一元集合）あるいは単位集合（unit set[1]）は、唯一の元からなる集合である。一つ組 (1-tuple) や単項列 (a sequence with one element) と言うこともできる。
例えば、{0} という集合は単集合である。
性質
ツェルメロ・フレンケル集合論の枠組みの中では正則性の公理が「自身を元とする集合」が存在しないことを保証するから、単元集合とその単元集合を含む集合とは必然的に異なる数学的対象を意味するものとなる[1]。つまり、1 と {1} とは同じものではないし、空集合のみからなる単項集合 {Φ} は 空集合 Φ ではない。また、例えば、{{1, 2, 3}} のような集合も、ただ一つの集合を元（その元自身は単集合ではない）として持つ単集合である。
URLﾘﾝｸ(ja.wikipedia.org)
自然数
形式的な定義
自然数の公理
「ペアノの公理」も参照
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
・0 := {}
・1 := {0} = {{}}
・2 := {1} = {{{}}}
・3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
以上