公理化的英文翻译
中文：公理化
英文翻译：【计】 axiomation; axiomatization; axiomatize