Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Axioms are the base of geometry.
各项公理是几何学的基础。
Those axioms apply around the globe.
这些原理全球适用。
Axioms which are assumed truths, and.
公理(axioms)，假定的真理。
My aunt is full of copy-book axioms .
我的姑妈张口就是字贴上的格言。
The principle is explicated into three 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.
以欧几里德的公理为基础对点、线、角、面和立体的研究。
Design principles are the axioms by which we can control and organise a space.
设计原则是公理，使我们可以控制和组织空间。
Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability.
试验，结果，样本空间，事件，机率，机率公理。
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。
Often the existence axioms of classic in the differential calculus square distance can't use.
常微分方程中经典的存在性定理不能使用。
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 -拓扑空间中，针对子集的情形给出了一套新的分离公理，研究了它们之间的关系。
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.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
应用推荐