>>556-559
(引用開始)
>しかし「集合全体」を「同値関係で割る」という議論は（公理的）集合論的にはアヤシイを通り越してやってはいけない議論である．
これだけど
NBGならVは整列（≦）できるから
V/R={x::∀y:(x,y)∈R→x≦y}
として何の問題も無く定義できるよな
(引用終り)

そうそう そこ かなり同意で
そして NBGが ZFCの保存拡大であるを認めると

順序数の全ては ZFC内で定義される
　↓
順序数∀α は、ZFC内
　↓
ステージ Vαも、ZFC内
　↓
ノイマン宇宙 V＝∪α Vα は、ZFC内のVαを集めたもの■

もし 到達不能基数κにおいて ∀α ＜ κ を認めると
κは基数であるから
V＝∪α Vα ⊂ Vκ（等号を含む）■