(1)初始符号 (2)形成规则 (3)变形规则 关于左面的形成规则,有两点我们需要说明: 1.规则(1)-(11)类似于命题演算形式系统中的形成规则,但这11条规则中的公式是谓词逻辑演算系统中的公式,而不是命题逻辑中的公式。 2. 同命题演算形式系统类似,这15类形式规则每类都代表了无穷多条规则。 (4)定理 这个系统可推演出6.1公理系统的所有定理。