公理证明规则

【计】 axiomatic proof rule

公理的英语翻译：

axiom; generally acknowledged truth
【计】 Armstrong

证明的英语翻译：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony

规则的英语翻译：

regulation; rule; formulae; order; rope
【计】 rule
【化】 regulation; rule
【医】 regulation; rule
【经】 propriety; regulations; rule