>>39 追加

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
数学の集合論とその周辺分野において、フォン・ノイマン宇宙
V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数（rank）は、その集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は
0 で、順序数はそれ自身と等しい階数をもつ。
V 内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。

https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
https://en.wikipedia.org/wiki/Von_Neumann_universe#/media/File:Von_Neumann_Hierarchy.svg
An initial segment of the von Neumann universe. Ordinal multiplication is reversed from our usual convention; see Ordinal arithmetic.
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:
略
・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α.