公理化模型的英文翻译

中文：公理化模型