ZFCから独立な命題の一覧

本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。

公理的集合論の命題

一般の例
ZFCの無矛盾性 - 1931年ゲーデルが、ZFCでは証明できない命題が存在することを初めて示した（ゲーデルの不完全性定理）。とくにZFCの無矛盾性それ自体がZFCで決定不能であることを証明した。
 連続体仮説 (CH) - 1940年、ゲーデルはCHが成り立つZFCのモデルを構築することにより、CHがZFCで反証できないことを示した。その後1963年、コーエンが、強制法という手法を用いてCHの否定が成り立つZFCのモデルを示し、CHがZFCで証明できないことを示した。
 一般連続体仮説 (GCH)
 逐次積分可能だが積分順序交換できない2変数の有界関数の存在
  (V = L)
 ダイヤモンド原理 (◊)
 マーティンの公理 (MA)
 MA + ¬CH - ソロヴェイおよびテネンバウムによる。
  ならば

巨大基数公理
一般的に、巨大基数と呼ばれる基数の存在はZFCでは決定することができない。
 到達不能基数の存在
 マーロ基数の存在
 可測基数の存在
 超コンパクト基数の存在

その他の分野の命題

 ボレル予想 - 任意のは可算であるという予想。
 任意の -稠密な実数の部分集合が順序同型であるかどうか - 実数の部分集合 X が-稠密であるとは、任意の開区間が X の元を個以上含むことを言う。
 ススリン線の存在(SH)  - ダイヤモンド原理から従うことが知られている 。逆にMA + ¬CHからはススリン木が存在しないことが従う 。 また、CHを仮定してもススリン木の存在は証明できない。
クレパ木の存在(KH) - ただし到達不能基数の存在が無矛盾であるとき。
 フビニの定理の拡張
 ある種のディオファントス方程式の解の存在性（ヒルベルトの第10問題）
 群論における(シェラハ、1974年) - A を任意のアーベル群とするとき、Ext1(A, Z) = 0 ならば A は自由アーベル群か？
 バナッハ環に対するカプランスキー予想：コンパクトハウスドルフ空間X上の複素数値連続関数のなす環C(X)からバナッハ環へのC代数準同型は常に連続であるという予想

脚注

外部リンク
 What are some reasonable-sounding statements that are independent of ZFC?, mathoverflow.net

集合論
数学基礎論
数学に関する記事
数学の一覧