完全性定理

【词语拼音】wán quán xìng dìng lǐ

【词语繁体】完全性定理

【词语结构】式词语

【词语字数】五字词语

【网络解释】
完全性定理(completeness theorem)，也称哥德尔完全性定理,是数理逻辑中重要的定理，是建立之间的对应语义真理和句法可证明在一阶逻辑，在1929年由库尔特·哥德尔首先证明。完备性定理说，如果一个公式在逻辑上是有效的，那么这个公式就有一个有限的推论（形式证明）。