公理

Works 2 when you enjoy the art masters Xu Beihong creation in 1937 of the rain and wind whining diagram, will feel the master to the language of painting with pickpockets, according to the outcome of the artist are looking forward to the national awakening, manages to rescue, affectionateness and values and their adherence to justice, or the other, love for the motherland.

息品2当您抚玩艺术不小师徐悲鸿创息于1937年的《风雨呜呜》图时，会感触到不小师以喻意性的绘画措辞，托付了画家等待民族沉醉，沉沦救亡的密意和决心，抒发不入自不彼对峙公理，冷不恨故国的度量。

But today,"I go therefore I am" there are likely to become an axiom of modern economics after-class proposition.

但今天，"我魅故我在"却有可能成为后现代经济学一个公理级的命题。

In his remarks on Tuesday, President Obama paid tribute to Neda Agha Soltan, the young woman whose shooting death, recorded on a camera phone just after it occurred, was seen worldwide, calling it heartbreaking and fundamentally unjust.

奥巴马总统在星期二的讲话中对被枪杀的伊朗年轻女性索尔坦表示哀悼，称这一事件令人心碎，完全没有公理。索尔坦中弹身亡后被人用手机拍摄的录像已经传遍世界。

From late fifties of last century, some scientists headed by Allais and Edwards, try to check the facticity of the rational decision-making models applied to the real decision-making behavior, but find it unsatisfactory.

1944年，Von Neumann和0skar Morgenstern建立了理性行为公理体系，标志着现代决策理论的开端，为规范型决策理论奠定了基石，并在管理、经济和工程技术中得到广泛应用和纵深发展，成为理性决策的科学依据。

Theexpected utility theory based on the axioms isalso very important in modern decision-making theory.Form late fifties lastcentury,some scientists ahead by Allais and Edwards,try to check the facticity ofthe rational decision-making models applied to the real decision-making behavior,but find it unsatisfactory.For example,Allais Paradox and Preference Circleschallenge the axioms critically.

从二十世纪五十年代后期开始，以Allais和Edwards为首的一批学者从心理学的角度参与了实际决策行为的研究，他们从实证的观点去考察理性决策模型在实际决策行为中的真实性，不断地发现这些模型在应用中表现出各种偏差，Allais悖论的设计和克星循环现象的发现对Von Neumann-Morgenstern理性行为公理提出了有力的挑战。

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

This is one of the reasons why some mathematicians dislike the axiom of choice.

这是一些数学家不喜欢选择公理的理由之一。

Any time it is possible to specify such an explicit choice, the axiom of choice is unnecessary.

在任何有可能指定这种明确选择的时候，选择公理都是没有必要的。

For certain infinite sets ''X'', it is also possible to avoid the axiom of choice.

对于特定的无限集合''X''，也有可能避免选择公理。

Until the late 19th century, the axiom of choice was often used implicitly.

直到 19世纪晚期，先则公理仍被经常隐含的使用着。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。