公理化

英语翻译

axiomation; axiomatization; axiomatize

拓展翻译

公理化模型
axiomatic model

公理
axiom; generally acknowledged truth
Armstrong

公理的
a priori

公理法
axiomatic approach

公理方法
axiomatic method

公理和强权
right and might

公理基础
axiomatic basis

公理理论
axiomatic theory

公理描述
axiomatic specification

公理上
in equity

公理说明
axiomatic specification

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

公理语义学
axiomatic semantics

公理语义学方法
axiomatic semantics approach

公理证明
axiomatic proof

公理证明规则
axiomatic proof rule

构造性公理
constructivity axiom

归纳公理
axiom of induction

高斯公式
Gauss formula

高斯求积公式
Gauss quadrature formula