查询词典 axiomatic

Axiomatic set theory is a rigorous axiomatic theory developed in response to the discovery of serious flaws (such as Russell's paradox ) in naive set theory.

公理化集理论是一种严格的不言自明的理论发展的反应，发现严重缺陷在天真集理论。

But things develop in the opposite direction when axiomatic system is extremely perfect and the limitation is bigger. This will offer a chance for scientific revolution and lead to changes in axiomatic system.

但事与愿违，越是形式化的公理体系发现其理论的局限越大，出现矛盾的可能性越大，这就为科学理论变革，即公理体系的变换提供了契机，也就是提出了新的科学问题，使科学认识进入到一个新的境界。

It is undoubtedly result of scientific theory systematization. When axiomatic system reaches a fairly perfect stage, theorists hope axiomatic system more abundant by formalization method.

当公理体系达到相当完善的阶段后，理论家们往往希望用形式化的方法使公理体系更精致，推理能力更强，更能发挥科学理论的认识功能。

In the aspect of forming theories, WM adopts axiomatic ways, while TCM adopts methods of thought models. Therefore, from the methodology of general science, we believe that the chief characteristic of WM is the axiomatic logical deduction adding experimenting system.

因此从一般科学方法论上看，西医总的特征是公理化的逻辑推演加实验系统，中医总的特征是取象比类的思维模型加经验系统。

With regards to this , some implement problems are studied in detail so as to make contributions to the study of Axiomatic Design theory and application on the basis of existing studies of Axiomatic Design .

本论文在总结已有研究成果的基础上，着重在产品公理化实施的设计理论及应用方面进行了研究，以完善公理化的设计理论及应用研究。

A general or abstract concept or term considered absolute or axiomatic .

一般概念普遍的或抽象的概念或术语，认为是绝对的或自明的

A general or abstract concept or term considered absolute or axiomatic.

一般概念普遍的抽象的概念术语，认为是绝对的自明的

Perhaps even more striking than the advent of these ideas has been the acceptance of the axiomatic conceptual method of abstract algebra and its pervading influence throughout mathematics.

或许比这些新方法的引入更为引人注目的是抽象代数的公理化、概念化的方法以及其对整个数学学科的深远影响。

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]）等形式语义的关系。

These three reasons let the spread of axiomatic method stagnate for a long time.

正是这三个原因造成了当时公理化方法传播的停滞。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。