Fourthly, my paper proposes a new axiom system, which is made from forty axioms and two rules.

• 第四，本文提出了新的认证逻辑公理系统。