公理

The theorems of Ibn al-Haytham, Omar Khayyam and Nasir al-Din al-Tusi on quadrilaterals , including the Lambert quadrilateral and Saccheri quadrilateral , were the first theorems on elliptical geometry and hyperbolic geometry , and along with their alternative postulates, such as Playfair's axiom , these works had a considerable influence on the development of non-Euclidean geometry among later European geometers, including Witelo , Levi ben Gerson , Alfonso , John Wallis , and Giovanni Girolamo Saccheri .

定理伊本Haytham，欧玛尔海亚姆和纳西尔基地丁铝土司上quadrilaterals ，包括德兰伯特四边形和萨凯里四边形，是第一个椭圆形的几何定理和双曲几何，并连同其替代假设，如普莱费尔的公理，这些作品有相当发展的影响非欧几里德几何之间稍后欧洲geometers ，包括Witelo ，列维本格森，阿方索，约翰瓦利斯和乔瓦吉罗拉莫萨凯里。

In§1.2, after some necessary preparation on dynamical systems, we introduce the concepts of hyperbolicity and Axiom A for flows.

在§1.2中，在介绍了一些动力系统的必要知识后，我们对流引入了双曲性与公理A的概念，并且不加证明地罗列了一些与此有关的结果。

Based on the eight Chinese traditional yin and yang contradiction categories to analyze among the open and close areas in mathematics to achieve the triple unity of opposite composing relation of identical,resemble,diversity and contrary,the four basic types of logical inference.

用中华传统8大阴阳矛盾范畴分析数学中的开闭区间，得出相同、相似、相异、相反这4大逻辑推理基础类型间存在着三极对立统一的组成关系，进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。

The notion of immanence occupies so large a place in contemporary philosophy that many make an axiom of it.

概念的内涵中占有如此大的一个地方，在当代哲学的许多作公理的。

There are seven main ideas of governing the country by law, they are:ruler must follow law; impersonalization of the supreme power; promotion of the form rationalization; re-defining the legal nature; the legitimate fundation of public power; the balance of public rights and personal rights; attatching importance on rights.

依法治国是近、现代法制文明所确立的一条基本公理，并与诸多重要的法律原则、原理和规范密切相联。其法理蕴义包括七个重要之点：治国者先受治于法；最高权威的非人格化；形式合理性的宏扬；法律性质的重新界定；公共权力的合法性基础；公共权力与个体权利的平衡；认真看待权利。

By this way, the integrity becomes one of the inherence properties of the model.

模型通过扩展客体层次结构使完整性成为模型的内在属性，并引入或重新定义了客体域、扩展安全公理和操作规则。

We paid special attention to the complex linear space consisting of all linear mappings from dimensional complex inner product space into dimensional complex inner product space .

2是与基的选择无关的概念。容易验证内积(2)满足内积的公理，从而是一个位的复内积空间。当是的正交归一基，是的正交归一基，可以证明构成的正交归一基。

Among the poor, sloth is the natural result of hard work that goes unrewarded and they have some reason for their irascibility.

苦人的懒是努力而落了空的自然结果，苦人的耍刺儿含着一些公理。

On one, it is the story of a judicial murder for money, an indictment of materialism. On the other, it has nothing to do with motives in the conventional sense. It is a play about religious impulses that are independent of the ways people explain them.

该剧在两个层面上展开：一方面，它讲述了一个看似合法、实为有悖公理的图财害命的的故事，抨击了物质享乐主义；另一方面，它并不涉及通常所说的动机，而表现的是独立于人们解释方式之外而存在的宗教冲动。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐