Every number you have ever typed into a calculator was rational. Every fraction, every decimal you wrote down in a notebook, every measurement in a lab — rational. Irrational numbers feel like exotic creatures: \pi, e, \sqrt{2}, a handful of named monsters. So it is natural to assume there are way more rationals than irrationals. That the real line is mostly rational, with the occasional irrational punched in.

This intuition is exactly backwards. There are infinitely more irrationals than rationals — not just more, but a strictly bigger infinity. The rationals are the rare ones. Let us see why.

Two sizes of infinity

Both \mathbb{Q} (the rationals) and the irrationals are infinite sets. But mathematicians distinguish between two kinds of infinity:

Countable infinity is the smallest infinity. Uncountable is strictly bigger. Georg Cantor proved in 1874 that these two sizes are genuinely different.

The rationals are countable

Surprisingly, the rationals — which look dense and overwhelming — fit into a countable list. Here is how.

Arrange positive fractions \tfrac{p}{q} in a grid: row p, column q. Every positive rational appears in this grid (with duplicates). Now walk through the grid diagonally:

\tfrac{1}{1}, \tfrac{1}{2}, \tfrac{2}{1}, \tfrac{3}{1}, \tfrac{2}{2}, \tfrac{1}{3}, \tfrac{1}{4}, \tfrac{2}{3}, \tfrac{3}{2}, \tfrac{4}{1}, \dots

Skip any fraction that reduces to one you have already listed (so \tfrac{2}{2} = 1 is skipped). Include negatives by interleaving. The result is a list — an enumeration — of every rational number. So \mathbb{Q} is countable. Why: the diagonal walk covers every grid cell in finitely many steps, so every fraction \tfrac{p}{q} has a position in the list. The list is infinite but orderly — the very definition of countable.

Diagonal enumeration of the positive rationalsA five by five grid where cell (p, q) holds the fraction p over q. Curved arrows trace a diagonal zigzag path starting at one over one, going to one over two, then two over one, then three over one, two over two, one over three, and onward, demonstrating that every rational eventually appears in the enumeration.1/11/21/31/41/52/12/22/32/42/53/13/23/33/43/54/14/24/34/44/55/15/25/35/45/5Diagonal zigzag — every rational gets a turn in finitely many steps.
The positive rationals fit into a list by walking the grid diagonally. So $\mathbb{Q}$ is countable — same size of infinity as $\mathbb{N}$.

The reals are not countable — Cantor's diagonal argument

Now suppose, for contradiction, that the real numbers between 0 and 1 could be listed:

r_1, r_2, r_3, \dots

Write each r_i in decimal form:

r_1 = 0.d_{11} d_{12} d_{13} d_{14} \dots
r_2 = 0.d_{21} d_{22} d_{23} d_{24} \dots
r_3 = 0.d_{31} d_{32} d_{33} d_{34} \dots

Now build a new number r^* digit by digit: for each n, pick its n-th decimal digit to be different from d_{nn}. For example, if d_{nn} = 5, set the n-th digit of r^* to 6; otherwise set it to 5. (This avoids ambiguity with trailing 9s.)

Now ask: is r^* in the list?

So r^* is a real number between 0 and 1 that is not in the list. But we assumed the list contained every real number in [0,1]. Contradiction.

So no such list exists. The real numbers are uncountable. Why this works: for any proposed enumeration, the diagonal construction produces an explicit counterexample. No list can ever be complete — the reals always dodge.

Therefore the irrationals are uncountable

The real numbers split into rationals plus irrationals:

\mathbb{R} = \mathbb{Q} \cup (\text{irrationals})

If the irrationals were countable, then \mathbb{R} would be the union of two countable sets, which is itself countable. But \mathbb{R} is uncountable. So the irrationals must be uncountable too.

In the language of infinities: the rationals are countable infinity (\aleph_0), the irrationals are uncountable infinity (\mathfrak{c}, the continuum), and \mathfrak{c} > \aleph_0. The irrationals are not just more numerous — they are of a fundamentally bigger infinity.

The misconception, stated and answered

The misconception: "Irrational numbers are rare. Most numbers are rational — we have infinitely many fractions to choose from."

Why it feels true: Every number in your notebook is rational. You know only a handful of named irrationals: \pi, e, \sqrt{2}, \sqrt{3}, \varphi. Computers store rationals. School problems use rationals. Everywhere you look, numbers seem rational.

The counterexample: Cantor's diagonal argument (above) produces an uncountable family of irrationals. You can throw a dart at the interval [0, 1] using a continuous (uniform) distribution, and the probability of landing on a rational is exactly 0 — because the rationals have measure zero. Every dart almost surely lands on an irrational.

The correct view: The rationals are a thin, countable scaffold inside the real line — dense, yes, but vanishingly rare in the measure-theoretic sense. The irrationals are the bulk of the real line. When you type decimals, you are restricting yourself to a tiny (countable) subset, because your notation can only express rationals (terminating or recurring) and a few named irrationals. The typical real number has no name at all.

Measure zero, made concrete

Imagine covering all rationals in [0, 1] with tiny intervals. List them q_1, q_2, q_3, \dots. Cover q_1 with an interval of length \tfrac{\varepsilon}{2}, q_2 with length \tfrac{\varepsilon}{4}, q_3 with length \tfrac{\varepsilon}{8}, and so on.

The total length covered is

\tfrac{\varepsilon}{2} + \tfrac{\varepsilon}{4} + \tfrac{\varepsilon}{8} + \cdots \;=\; \varepsilon.

You can cover every rational in [0, 1] with total length \varepsilon, for any \varepsilon > 0. Take \varepsilon = 0.001: the rationals fit inside a collection of intervals of total length one thousandth. Take \varepsilon = 10^{-100}: even more cramped. The rationals take up no length at all on the real line.

The irrationals, meanwhile, take up all of [0, 1] \setminus \text{(thin cover)} — length essentially 1. That is how much of the real line is irrational: essentially all of it.

Why intuition gets it wrong

Your intuition is trained on visible numbers — the ones you can write, name, or type. These are all rational (or a few lettered irrationals). But the real line does not care about your notation. Most of its points are irrationals that no human has ever named and that no computer can ever store exactly. They are there — they are the endpoints of limits, the zeros of polynomials with no closed-form solutions, the lengths of arcs of generic curves — but you cannot pick them up and write them down.

The mathematics calls this: almost every real number is irrational, transcendental, and computationally inaccessible. The rationals are the exception, not the rule.

This satellite sits inside Number Systems.