axiomatic proof rule

【计】 公理证明规则
英汉词典
相关词语