Axiom of choice

"The axiom of choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"

": {{citation"

"The Axiom of Choice is necessary to select a set from an infinite number of pairs of socks, but not an infinite number of pairs of shoes [...] Among boots we can distinguish right and left, and therefore we can make a selection of one out of each pair, namely, we can choose all the right boots or all the left boots; but with socks no such principle of selection suggests itself, and we cannot be sure, unless we assume the multiplicative axiom, that there is any class consisting of one sock out of each pair. [...] There is no difficulty in doing this with the boots. The pairs are given as forming an ℵ0, and therefore as the field of a progression. Within each pair, take the left boot first and the right second, keeping the order of the pair unchanged; in this way we obtain a progression of all the boots. But with the socks we shall have to choose arbitrarily, with each pair, which to put first; and an infinite number of arbitrary choices is an impossibility. Unless we can find a rule for selecting, i.e. a relation which is a selector, we do not know that a selection is even theoretically possible."

"The axiom gets its name not because mathematicians prefer it to other axioms."

": A. K. Dewdney from the famous April Fools' Day article in the computer recreations column of the Scientific American, April 1989."