АКСИОМЕ - превод на Енглеском

• axioms
• axiom

Примери коришћења Аксиоме на Српском и њихови преводи на Енглески

године) представио доказе користећи Кенигову лему уместо те аксиоме.
gave proofs using Kőnig's lemma in place of that axiom.

Друга опција је фундатионализам где се ланац доказа на крају ослања на основна уверења или аксиоме који остају недоказани.
Another option is foundationalism, where the chain of justifications eventually relies on basic beliefs or axioms that are left unproven.

заменом индукционих аксиома другог реда са првим редом аксиоме шеме.
replacing the second-order induction axiom with a first-order axiom schema.

Писање B ⪯ A{\ displaystyle B\ preceq A} значи' A је мање преферирано од B'(' A је најмање преферирано као B'), аксиоме су.
Writing B⪯ A{\displaystyle B\preceq A} to mean'A is weakly preferred to B'('A is preferred at least as much as B'), the axioms are.

производ низа кардинала не могу дефинисати без неких аспеката аксиоме избора.).
product of a"sequence" of cardinals cannot be defined without some aspect of the axiom of choice.).

У математици, аксиоматски систем је било који скуп аксиома из којих се неке или све аксиоме могу користити у вези са логичким извођењем теорема.
In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.

У општем случају, није могуће да се докаже да F постоји без аксиоме избора, али изгледа да ово до Зермела нико није уочио.
In general, it is impossible to prove that F exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo.

Значи' A је мање преферирано од B'(' A је најмање преферирано као B'), аксиоме су.
To mean'A is weakly preferred to B'('A is preferred at least as much as B'), the axioms are.

у самој Зермело-Френкел теорији скупова( ЗФ), без аксиоме избора) да не постоји кардиналан број између ℵ.
Zermelo-Fraenkel set theory without the axiom of choice) that no cardinal number is between and.

правећи је слабијим од аксиоме другог реда.
language of Peano arithmetic, making it weaker than the second-order axiom.

И ово може да се користи да се генеришу сви наследно коначни скупови без коришћења аксиоме избора.
And this could be used to generate all hereditarily finite sets without using the axiom of union.

први ред аксиоме индукције за φ је реченица.
the first-order induction axiom for φ is the sentence.

Многе теореме је могуће доказати без коришћења било аксиоме избора, било њене негације;
It is possible to prove many theorems using neither the axiom of choice nor its negation;

Стога, негација аксиоме гласи да постоји скуп непразних подскупова који нема функцију избора.
Thus the negation of the axiom of choice states that there exists a set of nonempty sets which has no choice function.

N→ N задовољава аксиоме изнад.
N→ N satisfies the axioms above.

под претпоставком аксиоме избора.
under the assumption of the axiom of choice.

пажљиво позвати рекурзије аксиоме, или у најбољем случају, мудро позивати различите теореме теорије израчунљивости.
carefully invoke recursion axioms, or at best, cleverly invoke various theorems of computability theory.

Може се доказати коришћењем аксиоме избора, која омогућава конструкцију немерљивих скупова,
It can be proven using the axiom of choice, which allows for the construction of non-measurable sets,

Да опише семантику за дати језик, аксиоме или правила за смањење обезбеђују:( λ x. e v)
To describe a semantics for this language, axioms or reduction rules are provided:( λ x. e) v⟶ e( β){\displaystyle(\lambda x. e)\;v\longrightarrow e\,\left\quad(\mathrm{\beta})}

Још један пример је подскуп реалних бројева који није Лебег мерљив, за који се може доказати да постоји коришћењем аксиоме избора, али је конзистентно да се такав скуп не може дефинисати.
As another example, a subset of the real numbers that is not Lebesgue measurable can be proven to exist using the axiom of choice, but it is consistent that no such set is definable.