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

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

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

定義編集

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

  1.  
  2.  極限順序数のとき、  
  3.   は、  上で集合論の言語による一階の論理式と有限個のパラメータによって定義可能な集合全体の集合とする。


ある順序数 α に対して xLα であるような集合 x構成可能集合と呼ぶ。

L-階数編集

構成可能集合 x に対して、xLα + 1 をみたす最小の順序数 α を x L-階数L-rank)といい、これを ρ(x) で表す。

性質編集

関連項目編集