公理语义学方法

【计】 axiomatic semantics approach

公理的英语翻译：

axiom; generally acknowledged truth
【计】 Armstrong

语义学的英语翻译：

semantics
【计】 semantics
【医】 semaatics

方法的英语翻译：

means; measure; medium; method; plan; technique; way; ways and means
【计】 P; PROC
【医】 modus
【经】 means; modus; tool