axiom of choice

Summary

axiom of choice is an axiom of set theory^[1]. It ranks in the top 6% of axiom_of_set_theory entities by monthly Wikipedia readership (2,412 views/month).^[2]

Key Facts

• axiom of choice is credited with the discovery of Ernst Zermelo^[3].
• axiom of choice's instance of is recorded as axiom of set theory^[4].
• axiom of choice is part of list of theorems^[5].
• axiom of choice is part of list of axioms^[6].
• axiom of choice's Commons category is recorded as Axiom of choice^[7].
• axiom of choice's said to be the same as is recorded as Zorn's lemma^[8].
• axiom of choice's said to be the same as is recorded as well-ordering theorem^[9].
• axiom of choice's said to be the same as is recorded as Tarski's theorem^[10].
• axiom of choice's said to be the same as is recorded as Hausdorff maximal principle^[11].
• axiom of choice's said to be the same as is recorded as Krull's theorem^[12].
• axiom of choice's said to be the same as is recorded as Tychonoff's theorem^[13].
• axiom of choice's said to be the same as is recorded as Teichmüller–Tukey lemma^[14].
• axiom of choice's said to be the same as is recorded as König's theorem^[15].
• axiom of choice's time of discovery or invention is recorded as 1904^[16].
• axiom of choice's topic's main category is recorded as Category:Axiom of choice^[17].
• axiom of choice's Stack Exchange tag is recorded as https://mathoverflow.net/tags/axiom-of-choice^[18].
• axiom of choice's Stack Exchange tag is recorded as https://math.stackexchange.com/tags/axiom-of-choice^[19].
• axiom of choice's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/axiom-of-choice^[20].
• axiom of choice's short name is recorded as {'lang': 'en', 'text': 'AC'}^[21].
• axiom of choice's short name is recorded as {'lang': 'fr', 'text': 'AC'}^[22].
• axiom of choice's short name is recorded as {'lang': 'ca', 'text': 'AE'}^[23].
• axiom of choice's short name is recorded as {'lang': 'sr-cyrl', 'text': 'АИ'}^[24].
• axiom of choice's short name is recorded as {'lang': 'sr-latn', 'text': 'AI'}^[25].
• axiom of choice's studied by is recorded as set theory^[26].
• axiom of choice's on focus list of Wikimedia project is recorded as Wikipedia:Vital articles/Level/4^[27].

Body

Definition and Type

axiom of choice's instance of is recorded as axiom of set theory^[4].

Use and Application

Part of include list of theorems^[5] and list of axioms^[6].

Why It Matters

axiom of choice ranks in the top 6% of axiom_of_set_theory entities by monthly Wikipedia readership (2,412 views/month).^[2] It has Wikipedia articles in 27 language editions, a strong signal of global cultural recognition.^[28] It is known by 6 alternative names across languages and contexts.^[29]