公理语义学

【计】 axiomatic semantics

公理的英语翻译：

axiom; generally acknowledged truth
【计】 Armstrong

语义学的英语翻译：

semantics
【计】 semantics
【医】 semaatics