##### 逻辑一致性 - 逻辑一致性 - **逻辑一致性**是指[[形式逻辑|逻辑系统]]不能推理出矛盾. 设 $\Gamma$ 是一个 $L$-公式集合, $L$ 是一阶逻辑语言, 如果存在从 $\Gamma$ 推导出公式 $(\forall x)(x = x) \land \neg (\forall x)(x = x)$ 的演绎, 则称 $\Gamma$ 是不一致的, 而如果 $\Gamma$ 不是不一致的, 则称 $\Gamma$ 是一致的