Two kinds of infinity

Potential infinity is a process that can always go one step further; actual infinity is a completed infinite totality — and mathematics uses both, on different occasions.

The older of the two notions is potential infinity. To say the natural numbers are potentially infinite is to say only this: whatever number you have reached, there is a next one. No finished totality is invoked, only a rule that never runs out. Aristotle held that this is the only infinity the world offers, and for two thousand years most mathematics managed with nothing more.

Actual infinity is the stronger claim that the whole collection — all natural numbers at once — exists as a single object that can be named, compared, and reasoned about. Georg Cantor made this the foundation of set theory in the 1870s, showing that completed infinite sets obey exact laws: they can be paired, listed or shown to be unlistable, and ordered by size.

Each kind has its proper workplace. Potential infinity is the native language of processes: limits, series, algorithms, approximations. When a calculus text says a variable 'tends to infinity,' it means a process exceeds every bound, not that it arrives anywhere. Actual infinity is the native language of structures: the real line as a whole, the set of all functions, the hierarchy of cardinals.

The two readings must not be mixed, because what is true of one can be false of the other. A potentially infinite sequence of partial sums can stay finite in value — the halving series never exceeds 2 — while an actually infinite set can be strictly larger than another infinite set, a statement that makes no sense for a mere process. Many informal paradoxes arise by asserting about completed sets what is true only of processes, or the reverse.

A reliable habit is to translate every informal claim about infinity into one of the two readings before judging it. 'You can always add one' is potential; 'the set of all numbers has size ℵ₀' is actual. Once the translation is made, most apparent contradictions dissolve into a choice of vocabulary.

• Potential: 'for every stage, a next stage exists' — a guarantee about processes.
• Actual: 'the totality of all stages exists' — a claim about a completed object.
• Limits and series speak the potential language; cardinals and power sets speak the actual one.
• Paradoxes of infinity usually trade on switching readings mid-argument.

Further reading

• Countable and uncountable
• Paradoxes of the infinite