>>560
>順序数の全ては ZFC内で定義される
大間違い。

任意の集合xに対してその部分集合全体の集合は2^xで構成できる。
しかしxの部分集合のすべてが定義されたことにはならない。
実際、定義するための論理式はたかだか可算個だが、xが最小の無限集合である可算集合の場合でさえその部分集合は非可算個。
しかしxの部分集合のすべてが定義されないとしても2^xは唯一無二のはず？
いやいやそもそも2^xは∀y:(y⊂x⇒y∈2^x)で定義され、そもそも議論領域にどのようなyが存在するかはモデルに依存するので、実は2^xの正体もモデルに依存する。
つまりべき集合を構成できるからといって、部分集合全体のセットが唯一特定されるとは言えない。

全く同じ理屈で
>順序数の全ては ZFC内で定義される
も大間違い。
よってそこからの帰結
>ノイマン宇宙 V＝∪α Vα は、ZFC内のVαを集めたもの
も大間違い。