19/10/05 11:12:09.27 kZwmbLNI.net
>>14
>フォン・ノイマン宇宙の
>「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合」
>を認めると、空集合Φ={}に、ω回冪集合の演算を繰り返して
>ツェルメロ構成で、集合 {{…{}…}}({}の多重無限)が、出来ました
出来ません
Vωのことなら、その要素は遺伝的有限集合になりますが、すべて{}は有限重です
そこからさらに1回冪集合の演算を繰り返した場合
はじめて無限集合が出来上がりますが、その場合も
要素、その要素・・・ととっていった場合、必ず有限回で空集合に至る、
という意味で{}は有限重です
ところで>>11でID:o3KPqddg氏から
{{…{}…}}({}の多重無限)について
ω以外の名前を付けて区別するよう求められましたので、
別の名前をつけてください