（1）初始符号
　　（2）形成规则
　　（3）变形规则

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