>>295
補足すると、
ZFC+宇宙公理に集合Vκ(=フォンノイマン宇宙の階層κ、κ=強到達不能基数)が存在し、これはZFCのモデル且つグロタン宇宙U。
真クラスV(=フォンノイマン宇宙)もZFCのモデル。
これらの間に以下の包含関係、帰属関係が成立。
U∈V、U⊂V、¬(U∈U)、U⊂U、¬(V∈V)、V⊂V、¬(V∈U)、¬(V⊂U)