公理证明

英语翻译

axiomatic proof

拓展翻译

公理证明规则
axiomatic proof rule

归结定理证明
resolution theorem proving

公理
axiom; generally acknowledged truth
Armstrong

公理的
a priori

公理法
axiomatic approach

公理方法
axiomatic method

公理和强权
right and might

公理化
axiomation; axiomatization; axiomatize

公理化模型
axiomatic model

公理基础
axiomatic basis

公理理论
axiomatic theory

公理描述
axiomatic specification

公理上
in equity

公理说明
axiomatic specification

公理系统
Armstrong axiomatic Arms-trong; axiomatic system

公理语义学
axiomatic semantics

公理语义学方法
axiomatic semantics approach

构造性公理
constructivity axiom

归纳公理
axiom of induction

工厂检查证明书
work's inspection certificate