>>547
ノイマン構成だと
n：＝{0,1,・・,n-1}
超限順序数
ω：＝{0,1,・・,n,・・}
一方、自然数の単純な構成で
ω：＝{{・・{}・・}}
(カッコが、無限にある)
なので、カッコが無限にある場合は、有限集合とするのは問題だな(゜ロ゜;