axioms

Moreover, one of Zermelo's axioms invoked a concept, that of a "definite" property, whose operational meaning was not clear.

此外，Zermelo的一个公理涉及“明确性”性质的概念，它的操作性意义是有歧义的。

When Euclid originally laid down the axioms of his geometric system 23 centuries ago, one of them seemed less than obvious.

2300年前，当欧几里得（Euclidian）最初提出构成他几何体系的那些公理时，其中一个公理似乎一点也不显眼。

After all an axioms wants to establish to to satisfy numerous precondition, impossible assurance each words is all certainly right.

毕竟一个定理要成立要满足众多的先决条件，不可能保证每句话都一定正确。

No one really doubted its truth and yet it lacked the compelling quality of the other axioms.

没有人怀疑它的真理性，但它却缺乏象其他公理那种说服力。

Of all that we have inherited from the nineteenth century, only certain axioms about time have passed largely unquestioned.

在我们从十九世纪继承下来的遗产中，关于时间，只有少数几个特定的公理是大致尚未遭到质疑的。

The word can mean partisan and exclusive: a "full account, " when the axioms are in dispute, may be an instrument of party policy.

这个词可能意味着盲从和排他：“充分地叙述”，当公理被置于争论之中时，它可能成为政党政策的工具。

Nevertheless, the system of the axioms putting forward above apparently remains to be tested, observed and discussed.

已提出的公理体系显然尚须检验，尚须观察和讨论。

The standard approach has the appearance of science in its ability to generate clear predictions from a small number of axioms.

标准方法有着科学的外表，因为它能根据少数几种原理得出清晰的预测。

He rejects the notion of natural law as a body of authoritative "higher-law" axioms against which human enactments must be measured.

他拒绝接受自然法作为有权威的一个部分，更高的反对人类制度的公理必须加以标准化。

The simplest of the substitute axioms was suggested by him in 1969.

最简单的代替公理是在1969年由他提出的。

But abundant psychological evidence has now shown that people do not satisfy Savage's axioms of rationality.

但是，根据大量心理学的证据显示，萨维奇对于“理性人群”的判断是不存在的。

For a couple of simple axioms, design for everything to be split, and think BASE, not ACID.

还有两条简单的原则：把每样东西都设计成分离的；考虑BASE、而不是ACID。

If such and such of some axioms are true, then a system develops, which one can judge to be consistent or not.

假如某某公理是真实，那麽根据它们发展出来的系统，我们能够判断是否是前后一致。

Therefore, the logical definition can be derived by mathematical definition, the mathematical axioms can be deduced by logical axioms.

因此，逻辑概念可以通过定义推导出数学概念，逻辑公理可以通过逻辑演绎法推导出数学定理。

This is the version of the axioms of Kos several expressions, at least one controversy, and most concise strong one.

这个版本既是有关科斯的定理的几种表述中，最少争议的一种，也是最简洁有力的一种。

Mathematicians typically justify their fundamental axioms, in particular those of set theory, by informal appeals to the imagination.

数学家就是个典型，他们会通过想象来证实基本原理尤其是集合论。

Mathematicians formulate new conjectures and establish their truth by rigorous deduction from appropriately chosen axioms and definitions.

数学家制定新的推测而且建立适当地选择的自明之理和定义的严厉减除的他们的事实。

Choice and the Theory of Demand: Rationality Axioms, Utility, Indifference Curves, Constrained Utility Maximization.

选择与需求理论：理性原则，效用，无差异曲线，受约束的效用最大化。

given any finite set of axioms , we have an infinite number of truths that are unprovable in that system.

给定任何有限个公设，在该系统内都会有无穷多个无法证明的事实。

Greek mathematician who applied the deductive principles of logic to geometry, thereby deriving statements from clearly defined axioms.

古希腊数学家，他把逻辑学中的演绎原理应用到几何学中，籍以由定义明确的公理导出语句。