##### 哥德尔完备性定理 - 哥德尔完备性定理 - **哥德尔完备性定理**表示如果一个[[谓词逻辑]]公式在所有模型中语义上为真, 即逻辑上有效, 那么它在形式系统中可以通过有限的证明步骤被证明, 换句话说语义上真等价于语法上可证明