88单词
词典收录词

axiomatic specification

[计] 公理说明, 公理描述

发音使用有道词典音频接口;音频不可用时自动回退到浏览器语音。