It is axiomatic that as people grow older they generally become less agile.

It is axiomatic that life is not always easy.

生活并不总是一帆风顺，这是明摆着的事实。

This is axiomatically given.

这是以公理的方式给出的.

Through discussing the separation axiom of topological space, we can get the relation-chain of separation axioms.

通过对拓扑空间上分离公理之间的讨论得出公理关系链,主要给出了各分离公理不能包含的例子.

Two groups of axioms in the natural axiom system of probability theory are set up.

建立《概率论自然公理系统》中的第组和第组公理.

These axioms form the basis for term rewriting systems we for mining workflows.

这些公理构成了我们用以挖掘工作流的术语重写系统的基础.

I know a lot of logarithms and axioms, but not the language of love.

我知道很多的对数和公理, 而不是爱的语言.

Further on, we can specify an algebra that consists of axioms for commutativity, distributivity, associativity, etc.

进一步的, 我们可以定义包含交换律 、 分配律 、 结合律等公理的代数.

Theorems are derived from the axioms.

命题则从规律中推演得来.

The basic principles include 2 axioms and 3 derivation principles.

基本原理包括:2个公理和3个派生原理:环境依赖性、术和设备依赖性、确定性和风险.

Martin Axioms roles in morden mathematics.

马丁公理在现代数学中的作用.

Context: The Greeks based the study of geometry on definitions and axioms.

上下文: 希腊人把几何研究的最基本出发点放在定义和公理上.

Finally, the common logic coverage criteria are assessed against the axioms system.

最后通过这组公理系统来评估现有的逻辑覆盖测试准则.

My aunt is full of copy-book axioms.

我的姑妈张口就是字贴上的格言.

The simplest of the substitute axioms was suggested by him in 1969.

最简单的代替公理是在1969年由他提出的.

The theorems should be deduced from axioms by purely logical arguments.

定理应该通过纯粹的逻辑的推导而从公理演绎得到.

The axioms adopted by Euelid mere supposed to be self-evident truths.

欧几里德用的公理都应看作是不证自明的真理.

He describes his search for the axion as one involving romance.

范·比伯把自己对轴子的搜寻描述成犹如一个人陷入情爱之中.

There continuing efforts to prove the parallel axion do not imply ignorance of Gauss's thoughts.

继续努力去证明平行公理并不意味着不知道高斯的思想.

Clicking on the center point rotates the model around the axis of the action line.

点击中心点沿着作用线的轴向旋转手臂.

Make full use of quality of bearing of distant axis electric machinery is high.

充分利用辽轴电机轴承质量高.