構成可能集合
すべての順序数 α に対して、集合 Lα を次のように再帰的に定義する:
L 0 = ∅ {\displaystyle L_{0}=\varnothing } 、
α {\displaystyle \alpha \,} が極限順序数のとき、 L α = ⋃ { L β ∣ β < α } {\displaystyle L_{\alpha }=\bigcup \{L_{\beta }\mid \beta <\alpha \}} 、
L α + 1 {\displaystyle L_{\alpha +1}\,} は、 L α {\displaystyle L_{\alpha }\,} 上で集合論の言語による一階の論理式と有限個のパラメータによって定義可能な集合全体の集合とする。
ある順序数 α に対して x ∈ Lα であるような集合 x を構成可能集合と呼ぶ。構成可能集合全体のクラス L を構成可能宇宙と呼ぶ。