axiomatic specification的意思|示意
美 / ˌæksi:əˈmætɪk ˌspesifiˈkeiʃən /
英 / ˌæksiəˈmætɪk ˌspɛsəfɪˈkeʃən /
[计] 公理说明，公理描述