哥德尔完备性定理- 维基百科，自由的百科全书

哥德尔完全性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。

zh.wikipedia.org