Axioms: Axiom of Choice

"[...] hence upon the principle that even for an infinite totality of sets there are always mappings that associate with every set one of its elements, or, expressed formally, that the product of an infinite totality of sets, each containing at least one element, itself differs from zero. This logical principle cannot, to be sure, be reduced to a still simpler one, but it is applied without hesitation everywhere in mathematical deduction." Ernst Zermelo, 1904)

"Zermelo regards the axiom as an unquestionable truth. It must be confessed that, until he made it explicit, mathematicians had used it without a qualm; but it would seem that they had done so unconsciously. And the credit due to Zermelo for having made it explicit is entirely independent of the question whether it is true or false." (Bertrand Russel, "Introduction to Mathematical Philosophy", 1919)

"The axiom of choice has many important consequences in set theory. It is used in the proof that every infinite set has a denumerable subset, and in the proof that every set has at least one well-ordering. From the latter, it follows that the power of every set is an aleph. Since any two alephs are comparable, so are any two transfinite powers of sets. The axiom of choice is also essential in the arithmetic of transfinite numbers." (R Bunn, "Developments in the Foundations of Mathematics, 1870-1910", 1980)

"Today, most mathematicians have embraced the axiom of choice because of the order and simplicity it brings to mathematics in general. For example, the theorems that every vector space has a basis and every field has an algebraic closure hold only by virtue of the axiom of choice. Likewise, for the theorem that every sequentially continuous function is continuous. However, there are special places where the axiom of choice actually brings disorder. One is the theory of measure." (John Stillwell, "Roads to Infinity: The mathematics of truth and proof", 2010)

"Given any collection of infinite sets the Axiom of Choice tells us that there exists a set which has one element in common with each of the sets in the collection. Choice, which seems to be an intuitively sound principle, is equivalent to the much less plausible statement that every set has a well-ordering. Although many tried to prove Choice, they only seemed to be able to find equivalent statements which were just as difficult to prove." (Barnaby Sheppard, "The Logic of Infinity", 2014)

"Since the membership relation is well-founded, well-founded relations can be defined on any class, however, the existence of a well-ordering of every set cannot be proved without appealing to the Axiom of Choice. Indeed, the assumption that every set has a well-ordering is equivalent to the Axiom of Choice." (Barnaby Sheppard, "The Logic of Infinity", 2014)

"Objections to the Axiom of Choice, either the strong or the weak version, are typically either philosophical, based on the intuitive temporal implausibility of making an infinite number of choices, or on the non-constructive nature of the axiom, or are based on a peculiar identification of continuum-based models of physics with the physical objects being modelled; properties of the model which are implied by the Axiom of Choice are deemed to be counterintuitive because the physical objects they model don’t have these properties. Motivated by these objections, or just for curiosity, several alternatives to Choice have been explored." (Barnaby Sheppard, "The Logic of Infinity", 2014)

"The most obvious variations of the Axiom of Choice are those that restrict the cardinality of the sets in question. Other variations impose relational restrictions between the sets. When the early set theorists tried to prove the Axiom of Choice they invariably ended up showing it is equivalent to some other statement that they were unable to prove. This collection of equivalent statements has grown to an enormous size. One of its striking features is that some of the statements seem intuitively obvious while others are either wildly counterintuitive or evade any kind of evaluation." (Barnaby Sheppard, "The Logic of Infinity", 2014)

"The Axiom of Choice says that it is possible to make an infinite number of arbitrary choices. […] Mathematicians don’t exactly care whether or not the Axiom of Choice holds over all, but they do care whether you have to use it in any given situation or not." (Eugenia Cheng, "Beyond Infinity: An Expedition to the Outer Limits of Mathematics", 2017)

"Many mathematicians continue to reject the axiom of choice. The growing realization that there are questions in mathematics that cannot be decided without this principle is likely to result in the gradual disappearance of the resistance to it." (Ernst Steinitz)