現代数学の系譜 カントル 超限集合論

[0019 １３２人目の素数さん 2019/10/05(土) 11:16:56.14 ID:kZwmbLNI]

ノイマン宇宙のV_ωには
{}、{{}}、{{{}}}、…
という{}の有限重の集合は全て存在する

しかし、{}の無限重の集合は存在しない

P(V_ω)=V_ω+1を作っても、その中には
{{}、{{}}、{{{}}}、…}
とかいう無限集合は存在するが
{}の無限重の集合はやはり存在しない