Phrase guide

axiom of choice

noun · 1 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

No pronunciation record was provided for this word.

1

noun

Meaning 1

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.

Definition source: English Wiktionary via Wiktextract

Topics: mathematics, sciences, set-theory

Examples

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

Meaning relationships

Synonyms: none provided

Antonyms: none provided

History

Etymology

A calque of German Axiom der Auswahl (now more commonly Auswahlaxiom), which first appeared in print with a description of the axiom in 1908, Ernst Zermelo, Untersuchungen über die Grundlagen der Mengenlehre I ["Investigations in the foundations of set theory I"], Mathematische Annalen, 65 (although the paper was dated 1907).

Across languages

Translations

16 source translations are retained for this English entry.

  • Armenian: ընտրության աքսիոմ (əntrutʻyan akʻsiom) — axiom that any product of non-empty sets is non-empty
  • Chinese Mandarin: 選擇公理 /选择公理 — axiom that any product of non-empty sets is non-empty
  • Czech: axiom výběru — axiom that any product of non-empty sets is non-empty
  • Dutch: keuzeaxioma — axiom that any product of non-empty sets is non-empty
  • Finnish: valinta-aksiooma — axiom that any product of non-empty sets is non-empty
  • French: axiome du choix — axiom that any product of non-empty sets is non-empty
  • German: Auswahlaxiom — axiom that any product of non-empty sets is non-empty
  • Hungarian: kiválasztási axióma — axiom that any product of non-empty sets is non-empty
  • Italian: assioma della scelta — axiom that any product of non-empty sets is non-empty
  • Japanese: 選択公理 (sentaku-kōri) — axiom that any product of non-empty sets is non-empty
  • Japanese: 選出公理 (senshutsu-kōri) — axiom that any product of non-empty sets is non-empty
  • Polish: aksjomat wyboru — axiom that any product of non-empty sets is non-empty
  • Polish: pewnik wyboru — axiom that any product of non-empty sets is non-empty
  • Serbo-Croatian: aksiom izbora — axiom that any product of non-empty sets is non-empty
  • Slovak: axióma výberu — axiom that any product of non-empty sets is non-empty
  • Swedish: urvalsaxiom — axiom that any product of non-empty sets is non-empty