>>364 追加

https://en.wikipedia.org/wiki/List_of_large_cardinal_properties
List of large cardinal properties
Existence of a cardinal number κ of a given type implies the existence of cardinals of most of the types listed above that type, and for most listed cardinal descriptions φ of lesser consistency strength, Vκ satisfies "there is an unbounded class of cardinals satisfying φ".

ここの ”Vκ”のリンクが
https://en.wikipedia.org/wiki/Von_Neumann_universe
で、下記な
抜粋：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:

https://en.wikipedia.org/wiki/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:
略

（注：Von_Neumann_universe中のαは、普通のordinal number αであって 巨大基数は 含まない。
　が、その延長上に large cardinalがあり ”Vκ”は それにならうということ ）