英语翻译
axiomatic semantics approach
拓展翻译
公理语义学
axiomatic semantics
功能的语义学
functional semantics
关系语义学
relational semantics
函数调用语义学
function call semantics
公理
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 proof
公理证明规则
axiomatic proof rule
构造性公理
constructivity axiom