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

中文解释

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