axiomatic semantics approach英式朗读美式朗读基本解释[计] 公理语义学方法上一个单词:axiomatic semantics下一个单词:axiomatic specification