Counting the Infinite

Mathematics does not merely gesture at infinity; it defines it, measures it, and proves that it comes in different sizes. This independent reference walks through the two kinds of infinity, the countable and the uncountable, the classic paradoxes, and the machinery that makes infinity a working tool.

infycrm.comℵ₀ — the size of the counting numbers2^ℵ₀ — the size of the continuum

Sizes at a glance

Familiar infinite sets and their measured sizes
Set	What it contains	Size (cardinal)	Countable?
Natural numbers	1, 2, 3, and every successor	ℵ₀	Yes
Integers	Negative, zero, and positive whole numbers	ℵ₀	Yes
Rational numbers	All fractions p/q	ℵ₀	Yes
Algebraic numbers	Roots of polynomials with integer coefficients	ℵ₀	Yes
Real numbers	All points of the number line	2^ℵ₀	No
Points of a plane	All ordered pairs (x, y) of reals	2^ℵ₀	No
Subsets of the naturals	Every possible collection of counting numbers	2^ℵ₀	No

Familiar infinite sets and their measured sizes

Figures of the infinite

Six landmark constructions, each a place where intuition about 'more' and 'less' had to be rebuilt.

A short chronology of the infinite

Diagram of the key terms in this record

What is infinity in mathematics?

In mathematics, infinity is not a vague 'very big' — it is a precise property that some sets and processes have and others do not.

Infinity enters mathematics in two costumes: as a process that never ends — counting 1, 2, 3 without a last step — and as a completed object, the whole set of natural numbers taken as one thing. Greek mathematics admitted the first and refused the second; Cantor's set theory admits both.

The two kinds obey different rules. A process that never ends can still have a finite limit: the series 1 + 1/2 + 1/4, continued by halving forever, adds infinitely many terms yet converges to 2. A completed infinite set, by contrast, can be paired off, compared, and even surpassed in size.

This reference treats infinity as a working object with definitions, theorems, and named paradoxes — not a slogan. Each section takes one question and gives the standard answer with its standard caveats.

The dossier: three working parts

What separates potential from actual infinity?

Potential infinity is a process that can always continue; actual infinity is a completed totality treated as a single object.

A potentially infinite process has no built-in stopping rule: you can always add one more number or bisect one more interval. Aristotle argued this is the only infinity we ever meet, since no procedure finishes infinitely many steps.

An actually infinite object is the finished collection itself: not 'the numbers go on forever' but 'the set of all counting numbers exists as a whole.' Cantor showed such totalities can be paired, listed, and compared like finite ones — yielding theorems, not contradictions.

Mixing the two is the source of many false paradoxes. 'The hotel has infinitely many rooms' treats rooms as an actual set; 'you can always build one more' treats them as a process. Arguments that switch readings mid-stream are where intuition breaks.

Potential infinity: 'for every n there is an n + 1' — a guarantee about steps, not a finished object.
Actual infinity: 'the set of all n exists' — a claim about a completed collection.
Classical analysis mostly needs the potential reading; set theory needs the actual one.
Confusing the two readings is the standard way informal paradoxes of infinity are manufactured.

What makes a set countable or uncountable?

A set is countable if its members can be paired one-to-one with the counting numbers; it is uncountable if no such pairing can ever exist.

Countability is about pairing, not finishing. The naturals pair with the evens (n ↔ 2n), with the integers (zig-zag through positives and negatives), and even with the rationals (snake through a grid of fractions). Each set has the same size, ℵ₀, however sparse it looks.

Cantor's diagonal argument shows the reals escape. Given any list of reals between 0 and 1, build a number whose n-th digit differs from the n-th digit of the n-th entry. The new number appears on no line, so the list was incomplete — and the list was arbitrary.

So infinities come in different sizes, and 'uncountable' names any size strictly above ℵ₀. The reals, the points of a line, and all subsets of the naturals share this larger size, written 2^ℵ₀.

How can one infinity be bigger than another?

By the pairing test: set A is bigger than set B if every attempt to pair B's members onto A leaves some of A unmatched.

For finite sets, 'bigger' means counting both. Counting never ends for infinite sets, so Cantor replaced it with matching: two sets have the same size exactly when a perfect one-to-one pairing exists. The definition reproduces ordinary size for finite sets and extends it past the finite.

Cantor's theorem then states that the set of all subsets of any set is strictly larger than the set itself. Applied repeatedly to the naturals, it generates an unending ladder: ℵ₀, then 2^ℵ₀, then 2^(2^ℵ₀), with no largest infinity.

Whether the continuum 2^ℵ₀ is the very next size after ℵ₀ is the continuum hypothesis; Gödel (1940) and Cohen (1963) showed the standard axioms can neither prove nor disprove it.

Common questions

Is infinity a number?

Not in the ordinary sense — but set theory defines precise infinite numbers called cardinals. The smallest, ℵ₀, measures the counting numbers, and Cantor's theorem guarantees an unending supply of larger ones.

Are there really more real numbers than whole numbers?

Yes, in the precise sense of pairing: no one-to-one matching between them exists. Cantor's diagonal argument shows every candidate list of reals omits some real, so the reals are strictly larger.

Does Hilbert's hotel describe something real?

No — it is a thought experiment about actual infinity, not a building. Its point is that an infinite 'full' set can still accept new members, which no finite hotel can do.

Is this site connected to any company or product?

No. This is an independent reference about the mathematics of infinity, with no commercial sponsor and no link to any organization of a similar name.