完全性とは？
かんぜんせい
証明体系において「論理的帰結であれば証明できる」という性質を指します。
完全性（completeness）とは、ある証明体系において「Γ ⊨ φ が成り立つならば Γ ⊢ φ も成り立つ」という性質のことである。意味論的に正しいすべての命題が体系内で証明可能であることを保証する。ゲーデルは1930年に一階述語論理の完全性定理を証明した。不完全性定理（1931年）とは異なる定理であることに注意が必要である。
使い方・例文
ゲーデルの完全性定理は、一階述語論理においてすべての恒真式が形式的に証明可能であることを示した重要な成果だ。
この用語をシェア
最終更新: