逻辑上，一致性（consistency）、相容性、自洽性，是指一个形式系统中不蕴涵矛盾。所谓的矛盾有二种解读方式：