Примери коришћења Axiom of choice на Енглеском и њихови преводи на Српски
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
develop most of classical calculus, while using neither the axiom of choice nor proof by contradiction,
Without the axiom of choice, one cannot assert that such a function exists for pairs of socks,
the generalized continuum hypothesis both imply the axiom of choice, but are strictly stronger than it.
equivalent to, or stronger than the axiom of choice, depending on the strength of the technical foundations.
The majority of mathematicians accept the axiom of choice as a valid principle for proving new results in mathematics.
In general, it is impossible to prove that F exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo.
Zermelo-Fraenkel set theory without the axiom of choice) that no cardinal number is between and.
require the axiom of choice for their proofs.
require the axiom of choice for their proofs.
For example, while the axiom of choice implies that there is a well-ordering of the real numbers,
Even if each of the Xi is nonempty, the Cartesian product may be empty if the axiom of choice(which is equivalent to the statement that every such product is nonempty) is not assumed.
Zermelo-Fraenkel set theory without the axiom of choice) that no cardinal number is between ℵ 0{\displaystyle\aleph_{0}} and ℵ 1{\displaystyle\aleph_{1}}.
since each is provable in ZF plus the axiom of choice, there are models of ZF in which each statement is true.
It can be proven using the axiom of choice, which allows for the construction of non-measurable sets,
many mathematicians find the axiom of choice to be intuitive, the well-ordering principle to be counterintuitive,
there are infinitely(uncountably) many"wild" automorphisms(assuming the axiom of choice).
Zermelo- Fraenkel set theory without the axiom of choice) that no cardinal number is between ℵ 0{\displaystyle\aleph_{0}} and ℵ 1{\displaystyle\aleph_{1}}.
there is an axiom called the axiom of global choice that is stronger than the axiom of choice for sets because it also applies to proper classes.
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.
there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes.