它的概念模糊而不可测试，但却被认为是公理而无懈可击。
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.
试验，结果，样本空间，事件，机率，机率公理。
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.
作为应用，给出结合BCI -代数的一组等价公理系。
As application, we give a equivalent axiom system of associative BCI-algebras.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
Simplify the axiom system of lattice implication algebras, which was given by y.
以欧几里德的公理为基础对点、线、角、面和立体的研究。
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.
他不灰心，也不丧胆，直到他在地上设立公理。海岛都等候他的训诲。
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.
数学模型有别于其他模型的重要一点就是：数学通过定义公理来创造属于自己的世界。
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.
这当然是一所私立学校，也完全印证了美国的一条公理：你花的钱越多，你的孩子的在学校时间却越少。
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.
应用推荐