查询词典 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语言。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。