完全性

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

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

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

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

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

数理論理学
数学に関する記事