Inglês » Chinês

Inglês)

axiom [ˈæksıəm] SUBST

axiom LÓGICA, MAT

axiom

原理 yuánlǐ

axiom

原则 yuánzé

axiom

格言 géyán

▶ axiomatic [ˌæksıəˈmætık] ADJ

▶ axiomatically ADV

inglês

He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. en.wikipedia.org

These axioms provide complete syntactic definitions of the conjunction and disjunction operators. en.wikipedia.org

In logic programming, a program consists of a set of axioms and rules. en.wikipedia.org

The set of axioms is often finite or recursively enumerable, in which case the theory is called effective. en.wikipedia.org

He proved the independence of some of his axioms by constructing models of geometries which satisfy all except the one axiom under consideration. en.wikipedia.org

Some of the most frequent axioms used in the building of bargaining solutions are efficiency, symmetry, independence of irrelevant alternatives, scalar invariance, monotonicity, etc. en.wikipedia.org

Thus, what the axiom is really saying is that two sets are equal if and only if they have precisely the same members. en.wikipedia.org

Accepting only the axiom schema of specification was the beginning of axiomatic set theory. en.wikipedia.org

Axioms 2, 3 and 4 can be summarized by saying that positive properties form a principal ultrafilter. en.wikipedia.org

Of course, this collection would have to satisfy certain properties (known as axioms) for otherwise we may not have a well-defined method to measure distance. en.wikipedia.org

Desejar acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos esse vocábulo - vamos gostar de receber o seu feedback!

inglês