是等价的，就是可以相互推导的。
一致性，完备性和规范形式.一个理论被称为是一致(相容)的，如果虚假(从没有前提)是不能证明的，被称为是完备的，如果所有定理都可以使用这个逻辑的推理规则来证明。这是关于整体的逻辑的陈述，并通常和某种模型的概念联系在一起。但是，还有对推理规则的纯粹语法检查的一致性和完备性的局部的概念，而不需要诉诸模型。首先是局部一致性，也叫做还原性，它声称包含了一个连结词的介入、并立即跟随着它的除去的任何推导都可以被转换成不包含这种迂回的等价推导。这是对除去规则力量的检