这是一些数学家不喜欢选择公理的理由之一。
This is one of the reasons why some mathematicians dislike the axiom of choice.
这是物理学公理的二级推论。
This is a 2nd grade inference derived from Axiom of Physics.
公理的，自明的：有关或类似公理的；不言自明的。
这是基于宇宙微波背景辐射和物理学公理的联合推论。
This is an combined inference derived from Axiom of Physics and observation of CMBR.
程序以操作表达式的形式呈现， 而其语义则以公理的形式给出。
Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.
首先给出边界公理的定义，然后证明边界公理与开集公理的条件等价。
This paper demonstrates what boundary axioms are and the condition under which boundary axioms equal the axioms of open sets.
比较了序列成本定价机制和平均成本定价机制满足上限性、下限性、免费午餐、需求可控性等公理的情况。
Serial cost pricing was compared with average cost pricing in terms of meeting the atoms of upper bound, lower bound, free lunch and control of demand.
其次，我们引入关系语义，给出描述KA的特征公理的框架条件，证明KA相对这个框架条件是框架可靠的。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions.
本文探讨了将ORM模型映射为OWL2公理的方法，通过 模型等价变换和引入新的公理，给出了所有可行的 模型映射规则。
The model translation principle and method from ORM to OWL 2 was discussed, and all feasible mapping rules are presented by model transforming and introducing new axioms.
研究了序列成本定价机制对同质分配模型公理体系的满足情况，并着重探讨了该机制与上限性、下限性、免费午餐、需求可控性和一致性公理的关系。
The relation between the serial cost pricing and the axioms of upper bound, lower bound, free lunch, controllability of demand and consistency was discussed in detail.
它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
我们应该探讨马丁公理和连续统假设之间的关系。
We should explore the relation between the Martin Axiom and Continuum Hypothesis.
首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理。
The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.
要证明这一营销公理，我们仅须审视一下世界各地的广告。
Proof of this marketing axiom can be found by simply looking at advertisements from around the world.
定理（theorems）由公理推论得到的关于程序的陈述。
theorems which are statements about the program inferred from the axioms.
看哪，我的仆人，我所拣选，所亲爱，心里所喜悦的，我要将我的灵赐给他，他必将公理传给外邦。
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.
理解塔尔斯基转向是理解公理化真理论的一把钥匙。
Understanding this turn is the key for understanding axiomatic theories of truth.
各项公理是几何学的基础。
尽管这是一个非常古老的公理之一，但是它是正确的：把任务分成更小的部分，然后一次一个的完成。
One of the oldest axioms out there, but it's true: break the task into smaller chunks and tackle one at a time.
由于我们在进行不正式的证明，所以我不会为所使用的公理命名，也不会尝试去证明那些用来令证明有效的中间定理。
Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work.
法学界人士普遍认为， ＂法律关系三要素说＂是公理，是一道不需要再加以证明的命题。
Legal scholars generally accept Theory of Three Essentials of Legal Relation as a self-evident truth and subject.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
应用推荐