We use real numbers every day, but what are they? Beyond just points on a line, the real numbers are a system governed by a precise set of rules, or axioms. These axioms are the foundational truths we accept without proof, from which all other properties are built.

The first set of rules are the Field Axioms. They define the basic arithmetic of addition, subtraction, multiplication, and division. They guarantee that for any two real numbers $a$ and $b$, the results of $a+b$, $a-b$, and $a \times b$ are also unique real numbers. Division by any non-zero real number is also a unique real number. These axioms are why algebra works the way it does, ensuring operations are commutative ($a+b = b+a$), associative ($a+(b+c) = (a+b)+c$), and distributive ($a(b+c) = ab+ac$).

Both the real numbers, denoted $\mathbb{R}$, and the rational numbers (fractions), denoted $\mathbb{Q}$, satisfy the Field Axioms. So, what makes them different?

The next layer of rules are the Order Axioms. These introduce the concept of positivity and allow us to compare numbers using inequalities like $<$ and $>$. They state that for any two distinct real numbers $a$ and $b$, either $a < b$ or $b < a$. They also ensure that inequalities behave predictably with arithmetic. For instance, if $a < b$, then $a+c < b+c$ for any $c$. And if $c > 0$, then $ac < bc$. A system that satisfies both the Field and Order axioms is called an ordered field.

Again, both the real numbers $\mathbb{R}$ and the rational numbers $\mathbb{Q}$ are ordered fields. We still haven't found the rule that separates them. The real power of $\mathbb{R}$ comes from one final, crucial axiom.

To understand the final axiom, we first need a few definitions. A set of numbers is bounded above if there's a number greater than or equal to every element in the set. That number is called an upper bound. A set can have many upper bounds. For example, the set $S = \{1, 2, 3\}$ is bounded above by 3, 4, 10, or any number greater than or equal to 3.

The smallest of all possible upper bounds has a special name: the supremum, or least upper bound. For our set $S$, the supremum is 3. Similarly, a set is bounded below if there's a number less than or equal to all its elements. The greatest of these lower bounds is called the infimum.

This brings us to the rule that defines the real numbers: the Completeness Axiom (also called the Least Upper Bound Property). It states that every non-empty subset of $\mathbb{R}$ that is bounded above has a supremum that is also a real number. This sounds obvious, but it's a profound statement. It guarantees that the real number line has no gaps.

Let's see why the rational numbers $\mathbb{Q}$ fail this test. Consider the set $A = \{q \in \mathbb{Q} | q^2 < 2\}$. This set contains all rational numbers whose square is less than 2. It's certainly bounded above (by 1.5, for instance). But what is its supremum? The least upper bound is $\sqrt{2}$, which is not a rational number. So, the set $A$ is a bounded set of rational numbers whose least upper bound is not in the set of rational numbers. The rational number line has a hole where $\sqrt{2}$ should be. The Completeness Axiom ensures that the real number line $\mathbb{R}$ has no such holes.

The Completeness Axiom has two important consequences that are worth knowing. The first is the Archimedean Property which, simply put, states that for any positive real number $x$, you can always find a natural number $n$ that is larger than $x$. No matter how large a number you pick, there's always a bigger integer. This prevents infinitely large and infinitely small numbers from existing within the real number system.

The second consequence is the Density of Rationals in Reals. This property states that between any two distinct real numbers, you can always find a rational number. This is why we can approximate any real number, like $\pi$ or $\sqrt{2}$, with a fraction to any degree of accuracy we want. Despite the fact that the rational numbers are full of 'holes', they are also sprinkled so densely throughout the real number line that you're never far from one.

With these axioms in place, we have a solid, logical foundation for the real numbers. This rigor allows us to move beyond intuitive ideas about calculus and begin building proofs about limits, continuity, and derivatives with full confidence.

Time to check your understanding of these foundational concepts.