公理

Axiomatic system of law ; topics ; practical knowledge ; situational thinking

法律公理体系；论题学；实践知识；情境思维

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

Similarly it is important to see rationalists like Descartes and Spinoza, trying to formulate philosophy in terms of some kind of an axiomatic system, in a discursive and historical context characterized by the emerging natural sciences, formulated in a mathematical language.

同样，在看待象笛卡儿和斯宾诺莎这样设法用某种公理体系构造哲学的唯理论者时，也要将其置于以数学语言构造的新兴自然科学为特征的商谈和历史情境中。

With the great change in sci-tech activities in high-tech era, the theme of philosophy of science has to be transformed into the Topics of Science from the traditional axiomatic system for static researches on single theory and paradigm conversion for dynamic researches on multiple theories.

随着"高科技时代"科学活动方式的巨大转变，科学哲学主题也将由传统的"公理体系"的单理论静态研究和"范式转换"的多理论动态研究向大科学时代的"科学论题学"研究转变。

Constructionalism Study Theory offers theoretical fundaments for the math education revolution, because that the modern math building itself is built on the basis of modern math fundaments of which the convergence axiomatic system is the representative.

建构主义学习理论为数学教育改革提供了理论基础，因为现代数学的大厦，本身就是在以集合论公理体系为代表的现代数学基础上建构起来的。

Hence, the dissipativetheory and the hypercycle theory attempt to construct a substantialistic model ofundermost hierarchy which can satisfy axiomatic system of evolution, that is it isa molecular system which can proceed self-replication or autoreplication.

因而，耗散结构和超循环论，给出的是满足进化公理系统的最低层次实体模型（能够进行自我复制的分子系统）的分子演化过程的动力学描述。

As we all known, with the founding of Euclidean geometry in ancient Greece, with the development of analytic geometry and other kinds of geometries, with F.Kline" s Erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. On the other hand, Euclid formed geometry as a deductive system by using axiomatic theory for the first time. The content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from Kline and Perry" s appealing.

纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

ChapterⅢ: The methods of product design knowledge representation and acquisition are presented based on axiomatic design.

第三章提出了基于公理设计的产品设计知识表达与获取方法。

A kind of integrated model based on theory of axiomatic design and solving theory of invention problems has been put forward.

提出了一种基于公理设计理论与发明问题解决理论的集成模型。

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