什麽是自洽性？

自洽，自相一致的。趨向相同。亦謂沒有分歧。

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