出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第47页（239字）
即不矛盾性，形式化的公理系统必须满足的基本性质。
语法的一致性是指：一个形式系统不能在自身中同时推出一个命题及其否定。这个定义预设了否定；存在着不出现否定符号的逻辑形式系统，在这样的系统中，语法一致的定义要变得宽一些，如果一个形式系统不能在自身中推出一切命题，那么，它是语法一致的。
语义的一致性是指：一个形式系统至少具有一个模型。