>>592
>・ノイマンの基数割り当てを用いると、到達不能基数κも順序数だ
>・だが、単純なZFC公理系では κは 証明できない（巨大基数公理要）
単純なZFCって何だよｗ
ZFCからκが存在証明可能ならZFCのモデルVκも存在証明可能だが、完全性定理と不完全性定理よりZFCが無矛盾である限りそれは不可能。
君、この理屈何度言っても無視するね。呪文か何かに聞こえるの？いや数理論理学の初歩だよ。君が不勉強なだけだよ。

>・ゆえに、κは ZFC順序数の外。つまり、ZFC順序数より大
ZFCから存在証明可能な順序数全体の集合 ONzfc⊂ON がZFCから存在証明可能と仮定。
ON上の∈は整列順序であるから、順序数χ:=min(ON-ONzfc) がZFCから存在証明可能。
しかし定義からχはZFCから存在証明不可能のはずだから矛盾。
よって ONzfc は存在しない。
よって Vzfc:=∪[α∈ONzfc]Vα も存在しない。