English-German translations for axiom of choice

• Auswahlaxiom das

Definition of axiom of choice

• One of the axioms of set theory, equivalent to the statement that an arbitrary direct product of non-empty sets is non-empty; any version of said axiom, for example specifying the cardinality of the number of sets from which choices are made

Examples

• The axiom of choice is logically equivalent to the assertion that every vector space has a basis

Related words

• axiom of extensionality
• axiom of power set
• axiom of countable choice
• axiom of regularity
• axiom of pairing
• axiom of union
• axiom of infinity