它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
驴车与行人争抢空间，唯一可行的道路规则是“强权即公理”。
Donkey carts battle for space with pedestrians and the only operative road rule is "might is right".
他说自己是个傻子。他讲了这个关于鹰和夜莺的寓言，真正说明了强权高于公理的道理。
He says that he is a fool. He tells this fable of the hawk and the nightingale, which illustrates really the doctrine of might over right.
我们应该探讨马丁公理和连续统假设之间的关系。
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.
公理(axioms)，假定的真理。
功夫的方法并不包含了“强权即公理”。
这是一些数学家不喜欢选择公理的理由之一。
This is one of the reasons why some mathematicians dislike the axiom of choice.
试验，结果，样本空间，事件，机率，机率公理。
Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability.
定理（theorems）由公理推论得到的关于程序的陈述。
theorems which are statements about the program inferred from the axioms.
公理1告诉我，我们可以不爱时间，但是时间仍会爱你。
Axiom 1 tells me that we can not love the time, but time will still love you.
继续努力去证明平行公理并不意味着不知道高斯的思想。
There continuing efforts to prove the parallel axion do not imply ignorance of Gauss's thoughts.
以欧几里德的公理为基础对点、线、角、面和立体的研究。
Study of points, lines, angles, surfaces, and solids based on Euclid's axioms.
事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。
The systematic, formal, axiomatic development of the logic of all forms and models of being.
数学模型有别于其他模型的重要一点就是：数学通过定义公理来创造属于自己的世界。
Mathematical models differ in an important aspect from other models: mathematics create, by defining axioms, a universe of their own.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
“你看不到自己的错误”，这是软件开发中的(也是很多其它学科的)公理。
"You don't see your own mistakes" is a truism of software development (and many other disciplines).
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。
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.
看哪，我的仆人，我所拣选，所亲爱，心里所喜悦的，我要将我的灵赐给他，他必将公理传给外邦。
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.
最理想的情况是，我们从设计的要求得出编程，就好像从已经得以证明的公理中得出定理。
Ideally, we would like to derive our programs from a statement of requirements in the same sense that theorems are derived from axioms in a published proof.
现实老公理所当然的认为你为他做的一切都是应该的，即使在你怀着他的孩子时也是一样。
Real husband takes what you have been doing for him for granted even when you are bearing his child.
这当然是一所私立学校，也完全印证了美国的一条公理：你花的钱越多，你的孩子的在学校时间却越少。
This is of course a private school, and proof of the fully transatlantic axiom that the more you pay for school, the less time your kids actually spend in it.
这当然是一所私立学校，也完全印证了美国的一条公理：你花的钱越多，你的孩子的在学校时间却越少。
This is of course a private school, and proof of the fully transatlantic axiom that the more you pay for school, the less time your kids actually spend in it.
应用推荐