完全性定理(completeness theorem)，也称哥德尔完全性定理,是数理逻辑中重要的定理，是建立之间的对应语义真理和句法可证明在一阶逻辑，在1929年由库尔特·哥德尔首先证明。完备性定理说，如果一个公式在逻辑上是有效的，那么这个公式就有一个有限的推论（形式证明）。
鸿凯词语词典，专业汉语查询工具。收录海量成语、近义词、反义词及组词，解释详尽，例句丰富。每日更新，助力您的语言学习与创作。