無矛盾だがω矛盾した理論の例とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 無矛盾だがω矛盾した理論の例の意味・解説 

無矛盾だがω矛盾した理論の例

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:09 UTC 版)

ω無矛盾」の記事における「無矛盾だがω矛盾した理論の例」の解説

ペアノ算術 PAω無矛盾であるからΣ1健全性により PA から ¬Con(PA) は証明不能である。そこで PA に ¬Con(PA) を付け加えた理論 T を考える。不完全性定理により PACon(PA) を証明できないから T は無矛盾である。T では、PA標準モデルにおいて偽であるΣ1論理式 ¬Con(PA) を証明できる。すなわち T はΣ1健全でないω無矛盾性はΣ1健全性含意するので、したがって T はω矛盾している。 上述理論 T のモデル矛盾に至る PA の証明図のゲーデル数を持つ。これは標準的自然数ではありえないので超準的自然数である。すなわち T のモデルペアノ算術の超準モデルになっている

※この「無矛盾だがω矛盾した理論の例」の解説は、「ω無矛盾」の解説の一部です。
「無矛盾だがω矛盾した理論の例」を含む「ω無矛盾」の記事については、「ω無矛盾」の概要を参照ください。

ウィキペディア小見出し辞書の「無矛盾だがω矛盾した理論の例」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「無矛盾だがω矛盾した理論の例」の関連用語

1
56% |||||

無矛盾だがω矛盾した理論の例のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



無矛盾だがω矛盾した理論の例のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのω無矛盾 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS