查询词典 axiomatic set theory

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世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

The axiomatic analysis is a new direction of the modern distribution theory.

公理化研究是现代分配理论的最新发展方向之一。

Axiomatic thought applied in theory construction is introduced into the field of evaluation in this paper.

将用于理论构建的公理化思想引入评价领域，从基础理论层面为评价的发展作支撑。

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

In the first part, firstly, we introduce the nonstandard analysis theory simply. Using the axioms in nonstandard analysis, the nonstandard model is axiomatic approached, and the existence of nonstandard model and the consistence of axioms in nonstandard analysis are proved by the construction of nonstandard model. Secondly, some properties of nonstandard model are discussed, such as transitivity, Boolean properties, etc. Finally, Loeb measure spaceY,L

在第一部分里，首先对非标准分析理论进行了简单的概述，通过用非标准理论中的公理，给出了非标准模型，进而利用非标准模型的构造，证明了非标准模型的存在性和非标准模型中公理的一致性；其次，讨论了非标准模型的一些简单性质，如传递性，布尔代数运算性质等；最后，在内测度空间Y，

Complete Principle of Measurement , as the basic literature of large calendar mathematics series Chongzhenlishu, was the beginning of the Western trigonometry, spherical astronomy and measurement into China, involving area, volume measurement, flat triangle, spherical trigonometry and spherical astronomy's theory as well as measuring instruments'applying. Complete Principle of Measurement embodies Chongzhenlishu's axiomatic mathematics and astronomy and makes a contribution to the further spread of the Western learning.

《测量全义》作为编撰大型历算丛书《崇祯历书》的基础文献，是西方三角学、球面天文学及测量术系统传入我国之始，涉及面积、体积测量，平面三角、球面三角和球面天文学的基本理论以及测量仪器的制造和使用等，是《崇祯历书》中公理化数学和天文学体系的体现，为西学的进一步传播做出了贡献。

At present, the way of Theory of Axiomatic Sets is the best one to dissolve the paradox.

另外，数理逻辑的其它三个分支即证明论、递归论、和模型论也都是在研究悖论问题中逐渐形成和发展的。

Axiomatic design theory provides an inst ructional f rame for the design of multi2part integration assemblage composed of multi2robot s and automatic weld system.

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架。

Firstly, the meaning of dynamic analysis on the steam turbine-generator set foundation is pointed out. Review and comment on the present research on dynamic analysis of domestic and international steam turbine-generator sets are presented Then a dynamic calculating model of the framed foundation of the steam turbine-generator set is set up based on finite element theory. Then dynamic analysis methods are put forward based on dynamics theory. The dynamic design of the foundation of the specific 12,000KW steam turbine-generator set is carried out.

论文首先指出汽轮发电机组基础动力分析的意义，并对国内外汽轮发电机组基础动力分析的研究现状进行了回顾及评述；其后，利用有限元原理建立了汽轮发电机组框架式基础的动力计算模型，根据动力学理论对该模型提出了自由振动分析和动力响应分析的方法，针对某工程12000KW汽轮发电机组的动力基础进行了动力设计。

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.

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

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。