choice, axiom of
The axiom of set theory asserting that if S is a set of disjoint, non-empty sets, then there exists a set containing exactly one member from each member of S. The axiom is problematic because it asserts the existence of an object that there may be no way of constructing, and thus offends against mathematical constructivism.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Axiom of global choice — In class theories, the axiom of global choice is a stronger variant of the axiom of choice which applies to proper classes as well as sets. Statement The axiom can be expressed in various ways which are equivalent: Weak form: Every class of… …   Wikipedia

  • Axiom of Choice (band) — Axiom of Choice is a world music group of Iranian émigrés who perform a fusion style incorporating Persian classical music and Western music. Led by Loga Ramin Torkian who plays a variant of a guitar of his own invention that is fretted to play… …   Wikipedia

  • Axiom of choice (disambiguation) — Axiom of choice may refer to:*Axiom of choice, an axiom of set theory *Axiom of Choice (band), a world music group of Iranian émigrés …   Wikipedia

  • Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

  • axiom of choice — Math. the axiom of set theory that given any collection of disjoint sets, a set can be so constructed that it contains one element from each of the given sets. Also called Zermelo s axiom; esp. Brit., multiplicative axiom. * * * ▪ set theory… …   Universalium

  • Axiom of countable choice — The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory, similar to the axiom of choice. It states that any countable collection of non empty sets must have a choice function. Spelled out, this means… …   Wikipedia

  • Axiom of determinacy — The axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962. It refers to certain two person games of length ω with perfect information. AD states that every such game in… …   Wikipedia

  • Axiom of regularity — In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo Fraenkel set theory and was introduced by harvtxt|von Neumann|1925. In first order logic the axiom reads::forall A (exists B (B in A)… …   Wikipedia

  • Axiom of dependent choice — In mathematics, the axiom of dependent choices, denoted DC, is a weak form of the axiom of choice (AC) which is still sufficient to develop most of real analysis. Unlike full AC, DC is insufficient to prove (given ZF) that there is a… …   Wikipedia

  • Axiom of limitation of size — In class theories, the axiom of limitation of size says that for any class C , C is a proper class (a class which is not a set (an element of other classes)) if and only if V (the class of all sets) can be mapped one to one into C .:forall C… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”