一致性 (邏輯) 邏輯上一致性consistency相容性自洽性是指一個形式系統中不蘊涵矛盾 所謂的矛盾有二種解讀方式 語義上當一個命題S是由許多命題組成時如果所有命題可同時為真則S是一致的否則S是不一致的 語法上公理系統不能推導出兩個相反的結果亦即不存在命題P使得PQ和PQ同時成立