公理证明的英文翻译
中文:公理证明
英文翻译:【计】 axiomatic proof