查询词典 axiomatic

In the twentieth century, David Hilbert employed axiomatic reasoning in his attempt to update Euclid and provide modern foundations of geometry.

古典文书允许在几何结构的指南针和直尺。

This article aims to make "four-color problem" proved to be more axiomatic, systematic, rigorous and scientific.

本文宗旨在于使"4色问题"的证明更公理化、系统化、严密化和科学化。

This paper analyzes Philo' s argument on free will and sin, elaborates why Divine Being could become the source of axiomatic self-deception, and indicates contributions from Hebrew and Hellenism on this topic.

该文分析了希腊化犹太教思想家斐洛对自由意志和罪的阐释，着重论述了自由意志作为神圣性的存在原理何以成为罪的自明性自欺的根源，进而指出了希伯来和希腊传统在这个理论上的各自贡献。

The secular - scientific understanding of the origin and development of the world along the evolutionary Darwinian model was accepted as axiomatic, and the liberal understanding of the movement of history along general historicist lines was not radically questioned.

世俗-科学的理解的起源和发展的世界沿著达尔文的进化模式被接受为不言自明的，和自由的理解运动的历史以及历史主义线一般不从根本上提出质疑。

Process Failure Mode and Effects Analysis ; Relationship Matrix ; Axiomatic Design ; Product Design Quality ; Power Supply Design

制程失效模式与效应分析；关联矩阵；公理设计；产品设计品质；电源供应器

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, and representations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, andrepresentations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study ofwhat the limits are on math itself: the intrinsic capabilitiesof our formal models, proofs, axiomatic systems, and representationsof rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证实，自明的系统，规则表示，信息，和计算。

Actually, CHINAPAY the metaphrase of name of this one English is " China pays ", its market target not character is axiomatic.

实际上，CHINAPAY这一英文名的直译就是"中国支付"，其市场目标不言自明。

We develop and market AMPC (Axiomatic Multi-Platform C).

我们开发和销售通则多平台C语言。

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。