x"，这两命题的意义一致。再把"x"代换成"y"，即为∀"z":"z" ≤ "y"所以φ("y")表示∀"z":"z" ≤ "y"，而不是∀"y":"y" ≤ "y"忘记这个条件是声名狼籍的犯错误原因。
推理规则.肯定前件充当推理的唯一规则。叫做全称普遍化的推理规则是断言演算的特征。它可以陈述为这里的"Z(x)"假定表示断言演算的一个已证明的定理，而∀xZ(x)是它针对于变量x的闭包。断言字母Z可以被任何断言字母所替代。
公理.下面描述一