一个公理化理论（例如几何学）被称为完备的，如果该理论中的每个有效陈述都能够被证明为真或假。
完备公理化理论
另请参阅
相容性使用 Wolfram|Alpha 探索
请引用为
Weisstein, Eric W. “完备公理化理论。” 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/CompleteAxiomaticTheory.html
主题
主题
主题
一个公理化理论（例如几何学）被称为完备的，如果该理论中的每个有效陈述都能够被证明为真或假。
Weisstein, Eric W. “完备公理化理论。” 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/CompleteAxiomaticTheory.html