中文:公理证明规则
英文翻译:【计】axiomatic proof rule
中文:坐标公理英文翻译:【计】coordinate axiom...
中文:原始公理语言英文翻译:【计】primitive axiomatic language...
中文:公理的英文翻译:【法】a priori...
中文:公理语义学方法英文翻译:【计】axiomatic semantics approach...
中文:公理理论英文翻译:【计】axiomatic theory...