axiom of choice
Noun

axiom of choice

  1. (set theory) 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.
    The axiom of choice is logically equivalent to the assertion that every vector space has a basis.
    • 1993, Thomas Tymoczko (editor), Penelope Maddy: Does V Equal L?, New Directions in the Philosophy of Mathematics: An Anthology, page 357 ↗,
      If V = L then the axioms of choice and the continuum hypothesis are both true, and the assertion that a measurable cardinal exists is false.
    • 1993, Gary L. Wise, Eric B. Hall, Counterexamples in Probability and Real Analysis, page vii ↗,
      Throughout this work we adopt the Zermelo–Fraenkel (ZF) axioms of set theory with the Axiom of Choice, commonly abbreviated as ZFC. It follows from the work of Gödel and Cohen that if the ZF axioms are consistent, the Axiom of Choice can be neither proved nor disproved from the ZF axioms.
    • 2000, Moses Klein (translator), Bruno Poizat, A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, page 169 ↗,
      To clarify these ideas for the reader, let us show, without the axiom of choice, that a product of finitely many nonempty sets is nonempty: This is done by induction on the number n of sets. […] The finite axiom of choice is not an axiom, but rather a theorem that can be proved from the other axioms. In contrast, there are weak forms of the axiom of choice that are not provable.
Synonyms
  • (set theory) AC (initialism)
Translations
  • French: axiome du choix
  • German: Auswahlaxiom
  • Italian: assioma della scelta



This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003
Offline English dictionary