对于这个公理的考虑是基于这样的事实。
其中最频繁的是公理的形式非常熟悉在西方。
One of the least frequent is the congregational form so familiar in the West.
首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
各项公理是几何学的基础。
印尼是一个著名的一个受欢迎的公理证明“财富不是万能的”。
Indonesians are a well-known proof of a popular axiom 'wealth is not everything'.
公理4：一个肯定性质是必然肯定的。
Axiom 4: If a property is positive, then it is necessarily positive.
公理3：“是类上帝的”是一个肯定性质。
同时给出了公理设计理论的两个基本公理。
The paper gave two basic principle of axiomatic design theory.
公理4：一个肯定性质是必然肯定的。
Axiom4: If a property is positive, then it is necessarily positive.
它是一个经常重复的公理金钱不可能买幸福。
It is an oft repeated axiom that money cannot buy happiness.
公理五。教室的气氛应令人愉快。
本文还讨论了属性论的公理化系统。
The axiom system on attribute theory is also discussed in this paper.
正是这三个原因造成了当时公理化方法传播的停滞。
These three reasons let the spread of axiomatic method stagnate for a long time.
理解塔尔斯基转向是理解公理化真理论的一把钥匙。
Understanding this turn is the key for understanding axiomatic theories of truth.
我认识很多的对数和公理，而不是语言的热爱。
I know a lot of logarithms and axioms, but not the language of love.
因此说有理数集是一个有序的域。 序公理 。 因此说有理数集是一个有序的域 。
For this reason, we say that the set of rational numbers is an ordered field.
此外，我们也提出了依存语法第五公理来支持我们的汉语句法分析系统。
In addition, we propose the fifth axiom of DG to support the parsing of...
因此，没有正式的系统是一个真正的公理化充分一些理论。
Therefore no formal system is a true axiomatization of full number theory.
因此，没有正式的系统是一个真正的公理化充分一些理论。
Therefore no formal system is a true axiomatization of full number theory.
应用推荐