axiomatic specification英式朗读美式朗读基本解释[计] 公理说明, 公理描述上一个单词:axiomatic semantics approach下一个单词:axiomatic system