>>446-447
>＞各stage Vα は、ZFCで構成可能（＝証明可能）な集合である
>第一の嘘　◆yH25M02vWFhPの勝手な妄想
>各αがZFCから証明可能でなければならない、ということはない

ふっ
公理的集合論においては、使う公理を決めるものだ
つまり、ゲームのルールを決める
ZFC公理系の話ですよ ノイマン宇宙は
だから、ノイマン宇宙のαは、ZFC公理系で証明できるαに限られるべし
勝手に、公理にない到達不能基数κを導入することは許されませんよｗ（＾＾

後はゴミ

>>447
(引用開始)
>１）数学の初歩の初歩は、定義の確認。定義の確認を怠っては 全ての議論が上滑りだよｗ（＾＾
そっくりお返しします。
ノイマン宇宙の定義に
>各stage Vα は、ZFCで構成可能（＝証明可能）な集合である
などという条件は無い。実際、例えば強到達不能基数κの階層VκはZFCで構成不可能。
定義を確認して下さいね。
(引用終り)

イミフ
何を主張しているか 全く意味不明
下記 ”Von Neumann universe Definition”を 百回音読しよう
ポイント抜粋
・V:=⋃α Vα. ”The class V is defined to be the union of all the V-stages”
　但し、”The class V”なので class V自身は、ZFCの外だ。∵ZFC公理はクラスは扱えない
・V0:=∅、 any ordinal number βVβ+1:=P(Vβ)、any limit ordinal λ Vλ:=⋃β<λ Vβ・・・
　これを限りなく続ける。超限回。そして それら超限回の全ての集合和が ノイマン宇宙Vの定義■

後はゴミだから、流すよ（＾＾

(参考) >>445より再録
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
Definition
The cumulative hierarchy is a collection of sets Vα indexed by the class of ordinal numbers; in particular, Vα is the set of all sets having ranks less than α. Thus there is one set Vα for each ordinal number α. Vα may be defined by transfinite recursion as follows:
・Let V0 be the empty set:
V0:=∅.
・For any ordinal number β, let Vβ+1 be the power set of Vβ:
Vβ+1:=P(Vβ).
・For any limit ordinal λ, let Vλ be the union of all the V-stages so far:
Vλ:=⋃β<λ Vβ.
A crucial fact about this definition is that there is a single formula φ(α,x) in the language of ZFC that states "(α is an ordinal and) the set x is in Vα".
The sets Vα are called stages or ranks.
The class V is defined to be the union of all the V-stages:
V:=⋃α Vα.
(引用終り)
以上