20/11/01 22:16:31.51 Fdz+cM+e.net
＞例えば、0 := {}, suc(a) := {a} と定義したならば、
＞0 := {}
＞1 := {0} = {{}}
＞2 := {1} = {{{}}}
＞3 := {2} = {{{{}}}}
＞と非常に単純な自然数になる。
＞（注：これがシングルトンによる自然数構成）
「自然数構成」ですね
ωは自然数ではありませんね
超準自然数だというなら、あなた、完全間違ってます
ωは超準自然数ではありませんよ
ωは無限公理による、とコピー＆ペーストしましたね
つまり、無限集合であって、シングルトンではない、ってことです