|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ F ： [えふ] ファロー四徴(症) ・ 独 ： [どいつ] (n) Germany ・ 独立 ： [どくりつ] 1. (adj-na,n,vs) independence (e.g., Ind. Day) 2. self-support ・ 命 ： [めい, いのち] 【名詞】 1. command 2. decree 3. life 4. destiny ・ 命題 ： [めいだい] 【名詞】 1. proposition 2. thesis ・ 題 ： [だい] 1. (n,vs) title 2. subject 3. theme 4. topic ・ 一 ： [いち] 1. (num) one ・ 一覧 ： [いちらん] 1. (n,vs) (1) at a glance 2. (a) look 3. (a) glance 4. (a) summary 5. (2) (school) catalog 6. catalogue
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 ==公理的集合論の命題== ===一般の例=== *ZFCの無矛盾性 - 1931年ゲーデルが、ZFCでは証明できない命題が存在することを初めて示した（ゲーデルの不完全性定理）。とくにZFCの無矛盾性それ自体がZFCで決定不能であることを証明した。 * 連続体仮説 (CH) - 1940年、ゲーデルはCHが成り立つZFCのモデルを構築することにより、CHがZFCで反証できないことを示した〔"The Consistency of the Continuum Hypothesis" (1940)〕。その後1963年、コーエンが、強制法という手法を用いてCHの否定が成り立つZFCのモデルを示し、CHがZFCで証明できないことを示した。 * 一般連続体仮説 (GCH) * (''V'' = ''L'') * ダイヤモンド原理 (◊) * マーティンの公理 (MA) * MA + ¬CH - ソロヴェイおよびテネンバウムによる。 * ならば 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ZFCから独立な命題の一覧」の詳細全文を読む スポンサード リンク
|