19/10/05 12:34:28.42 kZwmbLNI.net
>>31
>公理的集合論では、どんな奇妙な集合でも、禁止されていない集合は存在しうる
「Vωでは」と書いているので、
フォンノイマン宇宙の定義を読んで確認しましょう
確認なしの「感想」は無意味ですから
フォン・ノイマン宇宙
URLリンク(ja.wikipedia.org)
「・V0は空集合, {}とする。
・各順序数 βに対して、Vβ+1はVβの冪集合とする。
・各極限順序数 λに対して、Vλは、次の和集合とする:
Vλ=∪(β<λ)Vβ」
ωは極限順序数ですから、VωはVn(nは自然数)の合併です
{}はV1,{{}}はV2,{{{}}}はV3,…で現れます
VωはVnの合併ですから、あらゆる{}の有限重は現れますが
無限重は現れません
>無限公理で、Nとωが出来たあとに、
>ω:{・・{Φ}・・} ω重
>と定義すれば良い
1行目のωと2行目の「ω:」のωは違いますよね
だから2行目のωを別の表記に変えましょう
といってるんですよ 理解しましたか?
あなたが拒否したので、我々のほうで
Ω:{・・{Φ}・・} ω重
と決めさせていただきました
ただ、そうしたところで、実はまだΩは定義されていません