20/11/04 22:11:12.17 26WHSv4q.net
>>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のωは、実は
{{},{{}},{{{}}},{{{{}}}},…}
という無限集合