The Completeness Axiom states that every non-empty set of real numbers that is bounded above has a least upper bound (supremum). This single axiom distinguishes the reals from the rationals and is the key to proving that many important limits and extrema exist.
You already know that ℝ is an ordered field — it satisfies all the axioms of arithmetic and ordering. But the rationals ℚ are also an ordered field, yet ℚ is clearly "full of holes." Consider the set S = {x ∈ ℚ : x² < 2}. This set is non-empty and bounded above (by 2, say), but in ℚ it has no least upper bound — √2 is irrational. The Completeness Axiom (also called the Least Upper Bound Property) is the single additional axiom that rules out these gaps: every non-empty subset of ℝ that is bounded above has a supremum in ℝ.
The proof strategy this axiom unlocks is fundamental to real analysis. When you want to show that some special value *exists* — a limit, a maximum, a fixed point — you often can't exhibit it directly. Instead, you construct a bounded set whose supremum must be the desired value. The Monotone Convergence Theorem, the Intermediate Value Theorem, and the Extreme Value Theorem all follow this pattern: define a set, invoke completeness, then show the supremum is what you need.
The relationship to your prerequisite concept of supremum and infimum is direct: the Completeness Axiom is precisely the guarantee that suprema always exist when they should. Without it, you would be forced to add a caveat to every theorem — "assuming the supremum exists" — and that caveat would fail for ℚ. With it, you can assert existence freely, which is why real analysis is built on ℝ rather than ℚ.
One subtle point: the Completeness Axiom is not provable from the ordered field axioms — it is an *additional* axiom that characterizes ℝ uniquely (up to isomorphism). Any complete ordered field is isomorphic to ℝ. So completeness is not just a useful tool; it is part of the *definition* of what the real numbers are. When you later prove the Bolzano-Weierstrass theorem (every bounded sequence has a convergent subsequence), you will see completeness at work indirectly through the nested interval property, which is one of its many equivalents.
No topics depend on this one yet.