>>394
(引用開始)
>無限公理に乗せるには、和集合 Vλ:=⋃β<λVβ の方が 都合が良いのだろう
都合がよいと言うより
前者が無い訳ですし
そうとしか定義しようがないんですよ
(引用終り)

　>>375より
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
The sets in V are divided into the transfinite hierarchy Vα , called the cumulative hierarchy, based on their rank.
Definition
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β.
The set Vω has the same cardinality as ω.
(引用終り)

”limit ordinal λ” を、別扱いしている
そのときに、この場合を どう表現するか。そこは、複数の案があって良いだろうと思うけど
そして、”The set Vω has the same cardinality as ω.”を、どうやって 公理系の内部で証明するのか？
その二つを勘案して、上記の表現になったと思うが
なるほどね

(引用開始)
もう一度だけ行うとVω+ωができますから
>その正体はよく分らない
途轍もないものではありますが
イメージができなくもないと思いますよ
(引用終り)

だけど、そのイメージを他人に説明できた方がいいよね
もし、説明できる あなたのイメージがあれば、やってみて