>>422
>（αが極限順序数の時のVαは冪じゃ無いのにね）

いいや！（＾＾
Vαは冪です！！
極限順序数でない順序数を作るのは 和集合による演算（下記）

おお、Inaccessible cardinalのen.wikipedia記事に
”Existence of a proper class of inaccessibles”
「到達不能基数の公理はグロタンディーク・ヴェルディエの宇宙の公理（任意の集合がグロタンディーク宇宙に含まれるというもの）と同値になります」
「この公理系は、例えば任意の圏が適切な米田埋め込みを持つことを証明する際などに有用です」
なるほど・・・ メモメモｗ（＾＾

(参考)
https://en.wikipedia.org/wiki/Ordinal_number
Ordinal number
Von Neumann definition of ordinals
Thus the finite von Neumann ordinals are defined recursively as ⁠
0=∅ and ⁠
n+1=n∪{n}⁠.
That is, ⁠1={0}⁠, ⁠2={0,1}⁠, ⁠3={0,1,2}, etc.
The first infinite ordinal ⁠ω⁠ is represented by the set of all finite ordinals, i.e., the set of von Neumann natural numbers ⁠
N={0,1,2,…}. Then ⁠ω+1={0,1,2,…,ω}=N∪{ω}⁠, and so on.

https://en.wikipedia.org/wiki/Inaccessible_cardinal
Inaccessible cardinal
The two notions of an inaccessible cardinal
κ describe a cardinality
κ which can not be obtained as the cardinality of a result of typical set-theoretic operations involving only sets of cardinality less than κ. Hence the word "inaccessible". By mandating that inaccessible cardinals are uncountable, they turn out to be very large.

The existence of a strongly inaccessible cardinal is equivalent to the existence of a Grothendieck universe. If
κ is a strongly inaccessible cardinal then the von Neumann stage
Vκ is a Grothendieck universe. Conversely, if
U is a Grothendieck universe then there is a strongly inaccessible cardinal
κ such that Vκ=U. As expected from their correspondence with strongly inaccessible cardinals, Grothendieck universes are very well-closed under set-theoretic operations.

つづく