此条目没有列出任何参考或来源。 (2022年4月18日)

维基百科所有的内容都应该可供查证。请协助补充可靠来源以改善这篇条目。无法查证的内容可能会因为异议提出而移除。

逻辑上，一致性（consistency）、相容性、自洽性，是指一个形式系统中不蕴涵矛盾。

所谓的矛盾有二种解读方式：

语义上：当一个命题S是由许多命题组成时，如果所有命题可同时为真，则S是一致的，否则S是不一致的。

语法上：公理系统不能推导出两个相反的结果。亦即不存在命题P，使得P→Q和P→~Q同时成立。

这是一篇关于数学的小作品。你可以通过编辑或修订扩充其内容。