axiomatic proof rule

axiomatic proof rule 基本解释

[计] 公理证明规则

重点词汇

axiomatic a. 自明的

proof n. 证明；校样；检验；（酒的）标准酒精度 adj. 防…的；抗…的；能抵御；能防范 vt. 给（织物）做防护处理，使防水（或防火等）；印…的校样 vi. [印刷术] 校对；发酵

rule n. 规则，规定；统治，支配；章程 vt.& vi. 控制，支配；判定；裁定，裁决；价格稳定 vt. 统治；规定；管理；裁决 vi. 统治；管辖；裁定