axiom u rečniku PONS

Jednojezični primeri (nisu ih verifikovali PONS urednici)

engleski
If this association of meanings makes the axioms of the system true statements, then the interpretation is called a model of the system.
en.wikipedia.org
His proofs often invoke axiomatic notions which were not originally presented in his list of axioms.
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
This means that the two sets of axioms are interdependent and there is no axiom in one set which is independent from the other set.
en.wikipedia.org
Some authors require theories to also include all logical consequences of the axioms.
en.wikipedia.org
Accepting only the axiom schema of specification was the beginning of axiomatic set theory.
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
This produces two different lines through a point both parallel to another line, contradicting the axiom.
en.wikipedia.org
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

Strana na Deutsch | English | Srpski