公理

Justice may right the wrongs, but forgiveness heals the hurt. Seek forgiveness beyond justice.

公理评断是非, 但疗伤惟有宽恕. 公理之外,更要宽恕.

The concern about this axiom stemmed from the fact.

对于这个公理的考虑是基于这样的事实.

Enclid next lays down five postulates and five common notions.

接着Enclid就列出五个公设和五个公理.

There's another music-biz axiom that Daft Punk's flouted this year, much to the chagrin of its fans: Namely, that when you've got an album as big as this one, you've got to get out and play it live.

傻朋克今年还鄙视了另一条音乐行业的公理，让其信奉者大为懊丧。这条公理是：推出这样盛大的一张专辑，你必须亲自出马搞现场演出。

The fifth-century commentator Proclus was very explicit about his objection to the parallel axiom.

第五世纪评论家Proclus非常明显地反对平行公理.

Theoretical principle of axiomatic design is introduced.

介绍了公理化设计方法的理论基础，用公理化设计的方法对单螺杆连续挤出系统进行了理论上的分析。

His axiom presupposes that there is an arbitrarily large radius at our disposal.

他的公理就是先假定有如我们意愿的任意大半径.

People's attitude is suspicion of axiom of choice and axiom of parallelism.

人们对平行公理和选择公理的态度都表现为:怀疑.

It'seemed clear to him that this axiom could be dispensed with.

看来他清楚地认识到这个公理能够去掉.

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

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

In this paper, we mainly discuss the axiomatic semantics of class and polymorphism for Java, including the correlative component.

本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。

The paper gave two basic principle of axiomatic design theory.

同时给出了公理设计理论的两个基本公理.

Might is right -- that is the logic of imperialism.

强权即公理 -- 这是帝国主义的逻辑.

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

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

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

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

Order, proportion, and fitness pervade the universe.

秩序 、 均衡和公理遍及宇宙.

It is axiomatic ( to say ) that a whole is greater than any of its parts.

整体大于其任何一部分是 公理 .

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

Were this to happen, then the assumption of their parallel axiom would be invalid.

如果这一情况发生, 他们的平行公理假设便会不正确.

This article introduces fuzzy information axiom ( FLA ) and presents a new evaluation approach based on FLA.

在信息公理的基础上,引入了模糊信息 公理 的概念,提出了基于模糊信息公理的评价方法.

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

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

Simplify the axiom system of lattice implication algebras, which was given by Y.

给出的格蕴含代数的公理系统, 并给出另一个公理系统.

Does God pervert justice? Or does the Almighty pervert righteousness?

3神岂能屈枉公理? 全能者岂能屈枉公义?

The so-called calm person to justice rather than military solution is already.

所谓心平气和者,以公理而非以武力解决是己.

We also give the axiomatic semantics of if statement and while statement and block statement in order to show that the axiomatic semantics plan is normal.

为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。

About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.

关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。

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

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

Conclusion After the axiomatical system of the pan-neighbourhood system and the net pan-convergence are simplified, a clearer demonstration and a more convenient appliance will be shown.

结论泛邻元系公理系统和网泛敛关系公理系统简化后，表述更清晰，应用更方便。

If so, can there be any justice in this world?

如果真是这样, 这个世界上还有什么公道和公理!

Secondly, by using of the medium axiomatic set theory ( MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano ′ s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。