公理证明的英文翻译

中文:公理证明

英文翻译:【计】 axiomatic proof