完全性定理(completeness theorem)，也称哥德尔完全性定理,是数理逻辑中重要的定理，是建立之间的对应语义真理和句法可证明在一阶逻辑，在1929年由库尔特·哥德尔首先证明。完备性定理说，如果一个公式在逻辑上是有效的，那么这个公式就有一个有限的推论（形式证明）。
欢迎使用纵捷汉语词典，我们收录海量成语、近义词、反义词及组词，查询准确快速。无论是学习还是写作，这里都是您的最佳汉语词典伙伴。