中文:完全公理化
英文翻译:【计】complete axiomatization
中文:公理化英文翻译:【计】axiomationaxiomatizationaxiomatize...
中文:公理化模型英文翻译:【计】axiomatic model...