它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
我们应该探讨马丁公理和连续统假设之间的关系。
We should explore the relation between the Martin Axiom and Continuum Hypothesis.
首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
我们不能把强权视为公理。
有一条公理：“最好从用户界面开始”。
There is an axiom that states, "It is best to start with the UI."
如前所述，证明以公理和定理做为其论据。
As I mentioned before, proofs use axioms and theorems to make their case.
这一原理可以分析成三条公理。
法律是一回事，公理是另一回事。
公理评断是非，但疗伤惟有宽恕。
Justice may right the wrongs, but forgiveness heals the hurt.
各项公理是几何学的基础。
这是一些数学家不喜欢选择公理的理由之一。
This is one of the reasons why some mathematicians dislike the axiom of choice.
既然它是个公理，我们可以用它来解这个数学题目了。
Since it is an axiom, we can use it to solve this maths problem.
定理（theorems）由公理推论得到的关于程序的陈述。
theorems which are statements about the program inferred from the axioms.
第四，中国将与世界各国共同维护人类良知与国际公理。
Fourth, China will work with other countries to safeguard human conscience and international justice.
也许这就是那条宇宙公理：“如果你想接受，就必须先要给与”。
It is, perhaps, one of those universal laws that say, "If you want to receive, you must first give."
“你看不到自己的错误”，这是软件开发中的(也是很多其它学科的)公理。
"You don't see your own mistakes" is a truism of software development (and many other disciplines).
他不灰心，也不丧胆，直到他在地上设立公理。海岛都等候他的训诲。
He shall not fail nor be discouraged, till he have set judgment in the earth: and the isles shall wait for his law.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
数学模型有别于其他模型的重要一点就是：数学通过定义公理来创造属于自己的世界。
Mathematical models differ in an important aspect from other models: mathematics create, by defining axioms, a universe of their own.
不过我认为这就像在数学中，我们得先承认接受一些公理才能开始演算。
But I felt that it was like in mathematics, one has to accept certain formulas in advance in order to start calculations.
看哪，我的仆人，我所拣选，所亲爱，心里所喜悦的，我要将我的灵赐给他，他必将公理传给外邦。
Here is my servant whom I have chosen, the one I love, in whom I delight; I will put my Spirit on him, and he will proclaim justice to the nations.
看哪，我的仆人，我所拣选，所亲爱，心里所喜悦的，我要将我的灵赐给他，他必将公理传给外邦。
Behold my servant, whom I have chosen; my beloved, in whom my soul is well pleased: I will put my spirit upon him, and he shall shew judgment to the Gentiles.
看哪，我的仆人，我所拣选，所亲爱，心里所喜悦的，我要将我的灵赐给他，他必将公理传给外邦。
Behold my servant, whom I have chosen; my beloved, in whom my soul is well pleased: I will put my spirit upon him, and he shall shew judgment to the Gentiles.
应用推荐