什么是自洽性？

自洽，自相一致的。趋向相同。亦谓没有分歧。

自洽性，是指一個形式系統中不蘊涵矛盾。