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.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。
Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。
应用推荐