axiomatic proof

【计】 公理证明
英汉词典
相关词语