Completeness (logic)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Completeness (logic)の意味・解説 

完全性

(Completeness (logic) から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/29 17:25 UTC 版)

数理論理学には完全性(かんぜんせい、: completeness)と呼ばれる関連するが異なる二つの概念がある。

意味論的完全性
形式論理体系が「恒真である命題が必ず証明できる」という性質を持つこと
構文論的完全性
形式論理体系における理論が「(その理論で用いている言語で表現可能な)どの命題についても、肯定または否定を証明できる」という性質を持つこと

ゲーデルが証明したゲーデルの完全性定理は、一階述語論理が意味論的完全性の意味で完全であるとする。

同じくゲーデルが証明した有名な不完全性定理は、自然数論についてのある理論が後者の意味では完全ではなく、 完全であるように拡張することも(超越的な操作抜きには)できないことを示した。現在では、不完全性定理は、PAなど他の自然数論の公理系や自然数論以外の公理系についても証明されており、一定の性質を満たす公理系であれば広く成り立つ定理であると理解されている。

関連項目

  • 完備 (曖昧さ回避) - complete, completeness は数学の他の分野では完備とも訳される。



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

辞書ショートカット

すべての辞書の索引

「Completeness (logic)」の関連用語

Completeness (logic)のお隣キーワード
検索ランキング

   

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



Completeness (logic)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの完全性 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS