| 释义 |
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.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
|