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