axiomatic proof rule的意思|示意
美 / ˌæksi:əˈmætɪk pru:f ru:l /
英 / ˌæksiəˈmætɪk pruf rul /
[计] 公理证明规则