Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Axioms which are assumed truths, and.
公理(axioms)，假定的真理。
These historical axioms must now be questioned.
这些长期以來人们捧为圭臬的原则，现在都必须加以质疑。
As I mentioned before, proofs use axioms and theorems to make their case.
如前所述，证明以公理和定理做为其论据。
theorems which are statements about the program inferred from the axioms.
定理（theorems）由公理推论得到的关于程序的陈述。
Study of points, lines, angles, surfaces, and solids based on Euclid's axioms.
以欧几里德的公理为基础对点、线、角、面和立体的研究。
Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability.
试验，结果，样本空间，事件，机率，机率公理。
Two groups of axioms in the natural axiom system of probability theory are set up.
建立《概率论自然公理系统》中的第组和第组公理。
Finally, the common logic coverage criteria are assessed against the axioms system.
最后通过这组公理系统来评估现有的逻辑覆盖测试准则。
Renata Salecl unpicks these axioms of modern life in a short and thought-provoking book.
Renata Salecl在一篇短小但颇具思想启发性的书中，对现代生活的这些原理做了剖析。
For a couple of simple axioms, design for everything to be split, and think BASE, not ACID.
还有两条简单的原则：把每样东西都设计成分离的；考虑BASE、而不是ACID。
Here, I will I am the secret behind the three axioms of thought and understanding to tell you.
下面，我将我对这三个公理背后的秘密的思考和理解告诉大家。
At the end of this chapter, we weaken the layer separations, introduce the ultra-separation axioms.
作为本章的最后一部分，我们把层分离性进一步弱化，提出了超分离性公理。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
We can use these axioms and the usual properties of equality to establish additional properties of integers.
我们使用这些公理，以及方程的常见属性来构建整数其他的属性。
In this paper, a new series of separation axioms on L-topological are introduced, their relationship are investigated.
在L -拓扑空间中，针对子集的情形给出了一套新的分离公理，研究了它们之间的关系。
The relations of S-separation axioms in S-L space that has countable intersection property of seim-open set were obtained.
在具有半开集可数交性质的S-L空间中，讨论了几个S-分离性公理之间的关系。
Of all that we have inherited from the nineteenth century, only certain axioms about time have passed largely unquestioned.
在我们从十九世纪继承下来的遗产中，关于时间，只有少数几个特定的公理是大致尚未遭到质疑的。
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.
数学模型有别于其他模型的重要一点就是：数学通过定义公理来创造属于自己的世界。
Mathematicians typically justify their fundamental axioms, in particular those of set theory, by informal appeals to the imagination.
数学家就是个典型，他们会通过想象来证实基本原理尤其是集合论。
A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
The previous axioms can be used to reorder arguments to bring any single argument to the front of the argument list to be quantified.
可以使用前面的公理重新安排实际参数来把任何单一实际参数提到参数列表的前面来被量化。
The seemingly limitless wealth of consequence that flow from the axioms continue to challenge the minds of generations of mathematicians.
来自原理的表面上无限丰富的推论，继续鞭策几代数学家的意向。
Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.
数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。
In L-fuzzy topological spaces, ultra separation axioms were defined, some characterization of them were gvien, and their properties were discussed.
摘要在L-拓扑空间中，定义了超分离性，并给出它的一些等价刻画，讨论了它们的性质。
In L-fuzzy topological spaces, ultra separation axioms were defined, some characterization of them were gvien, and their properties were discussed.
摘要在L-拓扑空间中，定义了超分离性，并给出它的一些等价刻画，讨论了它们的性质。
应用推荐