構成可能集合

ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。
ゲーデルは、構成可能集合からなるクラス（通常 "L" と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。彼はさらに、"L" が一般連続体仮説を満たすことも示した。これによって、ZF が無矛盾ならば ZFC に一般連続体仮説を加えたものも無矛盾であることが証明された。
"L" はそれ以外にもたくさんの興味深い性質を持っていることがわかっている。
定義.
すべての順序数 α に対して、集合 "L"α を次のように再帰的に定義する：
ある順序数 α に対して "x" ∈ "L"α であるような集合 "x" を構成可能集合と呼ぶ。
"L"-階数.
構成可能集合 "x" に対して、"x" ∈ "L"α + 1 をみたす最小の順序数 α を "x" の "L"-階数（"L"-rank）といい、これを ρ("x") で表す。