构造性公理的英文翻译
中文:构造性公理
英文翻译:【计】 constructivity axiom