他说自己是个傻子。他讲了这个关于鹰和夜莺的寓言，真正说明了强权高于公理的道理。
He says that he is a fool. He tells this fable of the hawk and the nightingale, which illustrates really the doctrine of might over right.
基于不同于欧几里得公理的几何学。
这是物理学公理的二级推论。
This is a 2nd grade inference derived from Axiom of Physics.
对于这个公理的考虑是基于这样的事实。
这是一些数学家不喜欢选择公理的理由之一。
This is one of the reasons why some mathematicians dislike the axiom of choice.
其中最频繁的是公理的形式非常熟悉在西方。
One of the least frequent is the congregational form so familiar in the West.
公理的，自明的：有关或类似公理的；不言自明的。
这是基于宇宙微波背景辐射和物理学公理的联合推论。
This is an combined inference derived from Axiom of Physics and observation of CMBR.
最后讨论了基于一致性公理的金融风险测度模型的发展前景。
Then we also briefly discuss the trends of development of models based on the coherent risk measures axiom.
此等信念卸下一切伪装之后，仅存的便是强权即公理的野蛮学说。
Such a principle, stripped of all disguise, is surely the mere primitive doctrine that might is right.
特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。
Especially, it is discussed how to determine their temporal relations when some intervals are splitted in calculus.
程序以操作表达式的形式呈现， 而其语义则以公理的形式给出。
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.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。
Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法。
A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.
我们给出两个判断类间关系一致性的算法并分析其性质，还探讨了基于公理的知识的一致性。
Two algorithms for checking relationships between categories are presented and their properties are analyzed. Knowledge consistency analysis based on musicology-specific axioms is also discussed.
对于这三重含义的运用即是直观的公理的论述，这为他的哲学基础最终立下了普遍必然的前提。
The application of these three layers of his philosophy, namely the dissertation of intuitive axioms finally laid foundation for the prelude of the universal necessity for his philosophy.
在两个电流分解公理的基础上，分三种不同的网络情况阐明了阻塞成本分别在发电侧和用户侧分摊的思想。
Based on two current discomposing axioms, the paper analyzes the allocation of congestion costs at generation side and consumer side under three different types of network conditions.
比较了序列成本定价机制和平均成本定价机制满足上限性、下限性、免费午餐、需求可控性等公理的情况。
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.
研究社会问题和趋向，发挖不公理的起因，并且开展不同的社关事工去进一步提倡尊严、自由、正义和世界和平。
Study social issues and trends, work to discover the causes of injustice, and develop programs of ministry and advocacy to further human dignity, freedom, justice and peace in the world.
其次，我们引入有序邻域语义，给出描述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.
研究了序列成本定价机制对同质分配模型公理体系的满足情况，并着重探讨了该机制与上限性、下限性、免费午餐、需求可控性和一致性公理的关系。
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.
他们的外交政策遵循“强权即公理”的原则。
Their foreign policy is based on the principle that 'might is right'.
他们的外交政策遵循“强权即公理”的原则。
Their foreign policy is based on the principle that 'might is right'.
应用推荐