>>754
>N‗n：＝{S‗n}＝{0,1,2,・・・,n}

間違ってます

N‗0:={}
N‗n:={N‗0,…,N‗n-1}

N_ω:=｛N_0,…}

>Singl_n：＝{・・・{0}・・・}　
>（つまり{0}で、カッコ{}がｎ重のシングルトン）として
>ω：＝lim n→∞ Singl_n と定義すれば良い
>これで、{0}のカッコ{}が∞重のシングルトンが定義できた

できません　あなたの「極限」では集合になりませんから

その証拠に、あなたにはωの要素が書けません

書けないのは当然　集合ではないからです

正しいZermeloのωは、実は
{{},{{}},{{{}}},{{{{}}}},…}
という無限集合