英语语法分析

Axiomatization of economic theory has many obvious advantage.

经济理论的公理化有很多明显的优越性。

Therefore no formal system is a true axiomatization of full number theory.

因此，没有正式的系统是一个真正的公理化充分一些理论。

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。