>>55
＞神々の作る宇宙で ノイマン宇宙Vはクラスだが
＞到達不能基数κ を導入したκのステージVκは 集合であり
＞ステージVκは、κ未満の順序数や基数のすべてのステージVλ 和（Vλをλの全てを渡って含む）
＞Gro神の作った宇宙Uは、ブルバキの証明によれば Vκと同値であることが示されている

したがって　
κが順序数として存在すれば、Vκは集合であり、当然ながらVκ⊂V
κが順序数として存在しなければ、Vκも集合として存在しない
（κを順序数の全体からなるクラスとするならば、
Vκはクラスとして存在し、Vと一致すると考えられるかもしれん）