axiomatic system

【计】 公理系统
英汉词典
相关词语