axiomatic semantics approach 📖 中文释义 [计] 公理语义学方法 ← axiomatic semantics A 字母词表 axiomatic specification →