这是本页的一个历史版本，由Tang891228（留言 | 贡献）在2019年7月26日 (五) 13:28 （調整提示 修飾語句）编辑。这可能和当前版本存在着巨大的差异。
邏輯上，一致性（consistency）、相容性、自洽性，是指一個形式系統中不蘊涵矛盾。
所謂的矛盾有二種解讀方式：
