它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
我们应该探讨马丁公理和连续统假设之间的关系。
We should explore the relation between the Martin Axiom and Continuum Hypothesis.
如前所述，证明以公理和定理做为其论据。
As I mentioned before, proofs use axioms and theorems to make their case.
这是一些数学家不喜欢选择公理的理由之一。
This is one of the reasons why some mathematicians dislike the axiom of choice.
整体大于其任何一部分是公理。
It is axiomatic that a whole is greater than any of its parts.
公理评断是非，但疗伤惟有宽恕。
Justice may right the wrongs, but forgiveness heals the hurt.
试验，结果，样本空间，事件，机率，机率公理。
Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability.
定理（theorems）由公理推论得到的关于程序的陈述。
theorems which are statements about the program inferred from the axioms.
以欧几里德的公理为基础对点、线、角、面和立体的研究。
Study of points, lines, angles, surfaces, and solids based on Euclid's axioms.
要证明这一营销公理，我们仅须审视一下世界各地的广告。
Proof of this marketing axiom can be found by simply looking at advertisements from around the world.
提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理。
The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.
也许这就是那条宇宙公理：“如果你想接受，就必须先要给与”。
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.
首先给出边界公理的定义，然后证明边界公理与开集公理的条件等价。
This paper demonstrates what boundary axioms are and the condition under which boundary axioms equal the axioms of open sets.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
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.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
芬奇在南边梅岗城任职，为人端正沉稳，常常不计报酬地为贫民们伸张公理。
Finch Mockingbird in the south office, his integrity and calm, often gratuitous justice for the poor.
文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。
We investigate some conditions that fuzzy subsets make up of fuzzy bases to be similar to the base axiom.
在新英格兰，公理教会是被写入法律的，所有的居民必须捐助教会以供其维持。
In New England, the Congregational Church was legally established; all residents had to contribute to its support.
在新英格兰，公理教会是被写入法律的，所有的居民必须捐助教会以供其维持。
In New England, the Congregational Church was legally established; all residents had to contribute to its support.
应用推荐