axiomatic proof rule

axiomatic proof rule是什么意思、axiomatic proof rule怎么读
【计】 公理证明规则

axiomatic proof rule汉语翻译

【计】 公理证明规则