axiomatic specification

【计】 公理说明, 公理描述
英汉词典
相关词语