構成可能集合

ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。

ゲーデルは、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。彼はさらに、L が一般連続体仮説を満たすことも示した。これによって、ZF が無矛盾ならば ZFC に一般連続体仮説を加えたものも無矛盾であることが証明された。

L はそれ以外にもたくさんの興味深い性質を持っていることがわかっている。

定義

すべての順序数 α に対して、集合 L_α を次のように再帰的に定義する：

$L_{0}=\varnothing$ 、
$\alpha \,$ が極限順序数のとき、 $L_{\alpha }=\bigcup \{L_{\beta }\mid \beta <\alpha \}$ 、
$L_{\alpha +1}\,$ は、 $L_{\alpha }\,$ 上で集合論の言語による一階の論理式と有限個のパラメータによって定義可能な集合全体の集合とする。