完全性定理(completeness theorem)，也称哥德尔完全性定理,是数理逻辑中重要的定理，是建立之间的对应语义真理和句法可证明在一阶逻辑，在1929年由库尔特·哥德尔首先证明。完备性定理说，如果一个公式在逻辑上是有效的，那么这个公式就有一个有限的推论（形式证明）。
介绍了哥德尔不完全性定理，论述了它的由来与意义。
Godel's incomplete theorems are introduced, the origin and the significance of Godel's incomplete theorems are discussed.
哥德尔提出不完全性定理之后，众多解决悖论的方案开始深入语言的领域。
After Gdel's the Incompleteness Theorem, more and more paradox resolutions began to penetrate deeply into the realm of language.
哥德尔不完全性定理越来越受到人们的垂青和重视，但有些却是错解，需要予以澄清。
G? Del's incompleteness theorem is getting more and more attention, but some solutions are wrong, need to be cleared off.
应用推荐