| 词汇 | axiomatization |
| 类别 | 英汉双解翻译词典 |
| 释义 | axiomatization 释义 n. 公理化（用公理方法研究数学以及其他学科） 例句 1·Axiomatization of economic theory has many obvious advantage. 经济理论的公理化有很多明显的优越性。 2·Therefore no formal system is a true axiomatization of full number theory. 因此，没有正式的系统是一个真正的公理化充分一些理论。 3·These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。 |
| 随便看 |
|
忘忧网共收录380556个中英文词条，基本覆盖所有常见英语词汇的释义及翻译，是不可多得的语言学习平台，帮助读者化解英语学习中的各种疑难问题。