公理

In chapter three, we deal with the other equivalent propositions of the octahedral axiom and applications.

在第三章，我们讨论三角范畴定义中八面体公理的其它等价命题及应用。

Maybe this is the axiom that the universe:"If you want to accept, we must first give love."

也许这就是那条宇宙公理："如果你想接受，就必须先要给与爱"。

As you'll learn in the second edition, this axiom still holds true even for security problems.

在第二版中，这个公理仍然有效，哪怕是安全问题。

Axiom 3. Each student should know that reading can be improved.

公理三。每个学生都应当知道阅读能力是可以提高的。

This axiomatic method has been the model for many systems of rational thought, even outside mathematics, for over 2,000 years.

这种公理方法是2，000多年来许多理性思想体系的模范。

Aiming at these disadvantages, the framework model of axiomatic design method based on modified function-means tree was presented.

针对公理化设计中存在的不足，提出基于改进型功能方法树的公理化设计方法的框架模型：以设计知识库为基础，建立改进型功能方法树，并以此为依据促成公理化设计的功能需求与设计参数的分解与映射，实现公理设计中功能与结构的同步演化；最后，通过自动化糖果包装机设计为例验证了该方法的可行性。

Therefore, the axiomatic design method was concluded to be useful as a decision tool for designing alarm icons in process control systems.

因此，公理设计方法应能有效地应用於程序控制系统之警报图像设计决策问题。

"Intuitionists rejected certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

Index ; assessment ; axiomatic method ; formalization

指数；测验；公理方法；形式化

"Intuitionists reject ed certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

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万英镑骗了个精光。