# Uses of Axiom of Choice [duplicate]

I am a first-year maths student but I occasionally drift away from our taught material. Some years ago I saw the ZFC axioms for the first time, but now that I am in college, and although the stuff I've been taught so far is nowhere near ZFC (in terms of difficulty), it happened to me that we use the axiom of choice all the time in every module, even if we don't know it by name yet.

For example, in the proof that, for every non-negative integers $$a, b$$, there exist integers $$q, r: a = bq + r$$ (with the known restrictions on r), and the proof starts like this: $$Choose$$ the largest integer $$q : qb <= a$$... blah blah blah.

Is it the axiom of choice that allows us to execute this simple yet so important step?

And a couple more questions: Can you name some other simple proofs, theorems, results etc for which the axiom of choice is essential?

Also, I've read that AOC has long been a topic of dispute for mathematicians, and that even today, some people do not accept it. Are there any alternative axiomatic systems that work equally well without needing AOC? Thanks!

• No, choice is not used in the example you indicate. May 10, 2019 at 21:37
• Just because the word is mentioned, it doesn't mean the axiom is invoked. Just like saying that triangles have 3 sides does not mean that Euclidean geometry is number theory in disguise. May 10, 2019 at 21:39
• It's easy to see how to go about picking the element described. You don't need the axiom of choice. It's when you make infinitely many choices that the axiom of choice comes into play. May 10, 2019 at 21:39
• This is not the axiom of choice. It is just a theorem that any non empty set of integers which is bounded from above has a maximum, hence you can obviously take it.
– Mark
May 10, 2019 at 21:40
• More generally, the axiom-of-choice is filled to the brim with questions previously asked about the axiom of choice. Those can be about specifics in a particular proof, or necessity in another, or just broad questions. May 10, 2019 at 21:52

Typically in an analysis proof you'll build a sequence $$(x_n)$$ where $$x_{n+1}$$ depends on $$x_n$$ but not functionally and so you'll have to use the axiom of dependent choice. Sometimes this can be avoided, sometimes not. For instance, the theorem relating sequential continuity at a point and continuity at this point uses some form of choice (although surprisingly and interestingly, global sequential continuity and global continuity are equivalent in ZF for a separable metric space, but the proof is more subtle)
• Not to mention that a lot of the time, "choose $x$ such that ..." is actually an application of $\exists$-elimination which requires no axiom of choice whatsoever, it's just a standard part of first-order logic. May 10, 2019 at 21:49