一致性

缺少矛盾（即，能够证明声明及其否定都是正确的）公理化的系统被称为一致性。

另请参见

公理集理论,公理系统,完成公理化理论,一致性强度,哥德尔的第一不完全性定理,哥德尔第二不完全性定理

与Wolfram一起探索| Alpha

更多需要尝试的事情：

引用如下：

埃里克·魏斯坦（Eric W.Weisstein）。“一致性。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Consistency.html

主题分类