任何公理化系统建立的首要前提是满足相容性 (consistency)，即无矛盾性。换言之，一个命题与它的否定命题，绝不能在该系统内同时成立。 ​