一致性 (逻辑)

逻辑上，一致性（consistency）、相容性、自洽性，是指一个形式系统中不蕴涵矛盾。

所谓的矛盾有二种解读方式：

• 语义上：当一个命题S是由许多命题组成时，如果所有命题可同时为真，则S是一致的，否则S是不一致的。
• 语法上：公理系统不能推导出两个相反的结果。亦即不存在命题P，使得P→Q和P→~Q同时成立。

参见

• 哥德尔完备性定理
• 哥德尔不完备定理
• 完备性
• 严谨 (数学)
• 不一致的谬误
• 矛盾
• 破釜逻辑

外部链接

• Mortensen, Chris. Inconsistent Mathematics. Stanford Encyclopedia of Philosophy. 2017 [2022-10-09]. （原始内容存档于2022-12-05）.