整礎的集合
すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する:
V 0 = ∅ {\displaystyle V_{0}=\varnothing } ,
V α + 1 = P ( V α ) {\displaystyle V_{\alpha +1}={\mathcal {P}}(V_{\alpha })} ,
α {\displaystyle \alpha \,} が極限順序数のとき、 V α = ⋃ { V β ∣ β < α } {\displaystyle V_{\alpha }=\bigcup \{V_{\beta }\mid \beta <\alpha \}} 。
ある順序数 α に対して x ∈ Vα であるような集合 x を整礎的集合と呼ぶ。