公理证明规则的英文翻译

中文：公理证明规则