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

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

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