此条目没有列出任何参考或来源. (2022年4月18日)
维基百科所有的内容都应该可供查证.请协助补充可靠来源以改善这篇条目.无法查证的内容可能会因为异议提出而移除.
逻辑上,一致性(consistency),相容性,自洽性,是指一个形式系统中不蕴涵矛盾.
所谓的矛盾有二种解读方式:
语义上:当一个命题S是由许多命题组成时,如果所有命题可同时为真,则S是一致的,否则S是不一致的.
语法上:公理系统不能推导出两个相反的结果.亦即不存在命题P,使得P→Q和P→~Q同时成立.
这是一篇关于数学的小作品.你可以通过编辑或修订扩充其内容.