88单词
词典收录词

complete axiom set

[计] 完备公理集

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