AIに聞いたら、フォンノイマン宇宙の中に入れ子構造を作る話だって
言ってたぞ？ だから、当然フォンノイマン宇宙に含まれる。
なんで入れ子構造にするかというと、ラッセルのパラドックスを避けるため。
しかし、通常の集合の演算では閉じているくらいには大きい必要
があるため、到達不能基数が登場する。あるグロタン宇宙の集合の全体を
取ると、それは外側の宇宙の集合として捉えられるというわけ。