一致性 (邏輯) - 维基百科，自由的百科全书

此条目没有列出任何参考或来源。 (2022年4月18日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

邏輯上，一致性（consistency）、相容性、自洽性，是指一個形式系統中不蘊涵矛盾。

所謂的矛盾有二種解讀方式：

• 語義上：當一個命題S是由許多命題組成時，如果所有命題可同時為真，則S是一致的，否則S是不一致的。
• 語法上：公理系統不能推導出兩個相反的結果。亦即不存在命題P，使得P→Q和P→~Q同時成立。

• 哥德尔完备性定理
• 哥德爾不完備定理
• 完备性
• 嚴謹 (數學)
• 不一致的謬誤
• 矛盾
• 破釜邏輯

查看维基词典中的词条「一致性」。

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

这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 查 论 编