Topic 001 · D — Companion Working Paper 2026

The Paradox Dividend

75 Paradoxes That Dissolve When Infinity Does

Banach-Tarski. Hilbert's Hotel. Thomson's Lamp. Zeno's Achilles. Russell's set. The ultraviolet catastrophe. 75 named paradoxes from mathematics, logic, physics, and philosophy — each stated, diagnosed, and classified. Four mechanisms. One axiom. Most of them simply cannot be stated when completed infinity is removed.

Paradoxes
75
Dissolved
51
Tamed
14
Preserved
7 (honest)

Note. This is a survey and working paper. It is intended as a demonstration of what happens to a broad class of named paradoxes when the Axiom of Infinity is replaced by the Axiom of Finite Bounds. The classifications are the author's assessment, made in good faith, and are open to challenge. Individual entries may be revised as the analysis deepens. The paper does not claim to have resolved any paradox — it claims to have shown that most of them depend on a specific foundational assumption, and that a different assumption dissolves them. The seven that survive point to genuine open problems — in self-reference, epistemology, ethics, and decision theory — that may require new tools beyond what BST or any current foundational system provides.

75 paradoxes. Four mechanisms. One axiom.

The Axiom of Finite Bounds replaces the Axiom of Infinity with a single bound: every set is finite. The paradoxes catalogued here all depend — in whole or in part — on the assumption that completed infinite sets, processes, or totalities exist. Remove the assumption. Watch what happens.

What happens is not a collection of cheap victories. Many of these paradoxes are deep. Their dissolution reveals what they were actually about once the infinite scaffolding is removed. The mathematical content survives. The pathology does not.

What dissolves
Supertasks that cannot complete. Sets that cannot be constructed. Measures that cannot diverge. Regresses that cannot run forever. The paradox required the infinity. Remove the infinity, remove the paradox.
What survives
The Liar paradox. Curry's self-reference. The Repugnant Conclusion. The Sleeping Beauty problem. The Unexpected Hanging. These were never about infinity. They earn their place.

Four ways paradoxes dissolve — all aspects of one fact

Completed infinities do not exist in BST. Every dissolution traced in this paper follows from that single fact, expressed through one of four mechanisms.

1
Completion Failure
The paradox requires completing infinitely many steps. In BST, no process completes infinitely many steps. The supertask cannot begin.
Thomson's lamp · Grim Reaper · Ross-Littlewood · Zeno · St. Petersburg · Tristram Shandy · all hypercomputation
2
Set-Existence Failure
The paradox requires a set that BST cannot construct — typically a universal set, a nonmeasurable set, or an unrestricted self-referential collection.
Russell · Cantor · Burali-Forti · Banach-Tarski · Vitali · Hausdorff · Girard · Skolem
3
Measure / Cardinality Domestication
The paradox arises from counterintuitive properties of infinite cardinals, measures, or sums. In BST, all sets are finite, all measures are finite sums, all series terminate.
Galileo · Hilbert's Hotel · Gabriel's Horn · ultraviolet catastrophe · Olbers · Wheel of Aristotle · Borel
4
Self-Reference Truncation
The paradox involves a self-referential definition that generates a vicious regress only when the domain is infinite. In BST, the domain is bounded and the regress terminates.
Yablo · Berry · Richard · Carroll's Tortoise · Kleene-Rosser

Every paradox, classified

Dissolved means it cannot be stated. Tamed means the pathology disappears. Transformed means it becomes a different question. Preserved means it survives — because it was never about infinity.

Dissolved51 paradoxes
Achilles & the Tortoise
Dichotomy
Arrow
Russell's Paradox
Cantor's Paradox
Burali-Forti
Galileo's Paradox
Hilbert's Hotel
Richard's Paradox
König's Paradox
Skolem's Paradox
Mirimanoff's Paradox
Russell-Myhill
Girard's / Hurkens's
Kleene-Rosser
Thomson's Lamp
Ross-Littlewood
Grandi's Series
Grim Reaper
Benardete's Paradox
Yablo's Paradox
Pérez Laraudogoitia
Norton's Lattice
Lanford / Mather-McGehee
Urn / Hat / Checker family
Banach-Tarski
Hausdorff
Vitali Set
Gabriel's Horn
Torricelli's Rectangle
Borel's Paradox
Riemann Rearrangement
Zero-Measure Parts Sum
Nonmeasurable Sets
Dartboard Paradoxes
Buffon Infinite-Domain
Ultraviolet Catastrophe
Self-Energy / Renormalisation
Olbers' Paradox
Infinite Past
Tristram Shandy
Gods / Benardete's Barriers
Infinite Monkeys
Accelerating TM
Malament-Hogarth
Infinite-Time TM
Pasadena / Altadena
Infinite Ethics / Utility
Bolzano's Paradoxes
Cantor's Square = Line
Wheel of Aristotle
Tamed14 paradoxes
Stadium (Moving Rows)
Berry Paradox
St. Petersburg
Carroll's Tortoise
Sleeping Beauty (∞ var.)
Coastline Paradox
Two-Envelope (∞ var.)
Maxwell's Demon (∞ mem.)
Lottery Paradox (∞ var.)
Unexpected Hanging (∞ var.)
Repugnant Concl. (∞ var.)
Ant on a Rubber Rope
Bertrand's Paradox
Gibbs Paradox
Transformed3 paradoxes
Black Hole Information
Halting Problem
Sphere Eversion
Formal paradox dissolves.
Tractable question remains.
Preserved7 — genuine puzzles
Liar Paradox
Curry's Paradox
Grelling-Nelson
Repugnant Concl. (finite)
Sleeping Beauty (finite)
Two-Envelope (finite)
Unexpected Hanging (finite)

The most celebrated paradoxes — dissolved in one paragraph

Each of these has generated decades of literature. Each depends on a single assumption.

Set-existence failure · §4.1

Banach-Tarski

A sphere can be decomposed into five pieces and reassembled into two spheres of the same size.
The pieces are nonmeasurable sets built by transfinite choice on uncountable equivalence classes. In BST, every subset of a finite set is measurable. The decomposition cannot be constructed. Total count is conserved. A sphere is a sphere.
Dissolved.
Measure / cardinality · §2.5

Hilbert's Hotel

A hotel with infinitely many occupied rooms can accommodate new guests by shifting everyone up.
The hotel has finitely many rooms. All occupied. Guest in the last room has no room to move to. The hotel is full. A proper subset of a finite set is always strictly smaller than the whole.
Dissolved.
Completion failure · §3.1

Thomson's Lamp

A lamp switched on-off-on-off infinitely many times in finite time. What state is it in at the end?
The lamp is switched finitely many times. The last switch is definite. The lamp is on or off — whichever the last switch left it. The question has a trivial answer.
Dissolved.
Completion failure · §1.1

Zeno's Achilles

Achilles must complete infinitely many diminishing intervals to catch the tortoise. Can he?
The interval has finitely many grid points. Achilles passes through finitely many of them. The tortoise is overtaken at one of them. No completed infinity required. He catches the tortoise because he is faster.
Dissolved.

These survived — and that's the point.

A paper that dissolved every paradox would be dishonest. These 7 survive because they were never about infinity. They are about self-reference, epistemology, ethics, and decision theory. Their survival confirms that BST is dissolving artefacts, not sweeping real problems under the rug.

The preserved paradoxes are the most informative entries in the table. They show where the real puzzles live — and they are not where the infinity assumption put them.
The Liar Paradox
Self-reference via the diagonal lemma. Constructible in bounded arithmetic. No infinity needed.
Curry's Paradox
Self-reference + contraction. No infinity needed.
Grelling-Nelson
Russell-type paradox at the predicate level. Operates on a finite set of adjectives.
The Repugnant Conclusion (finite)
Population ethics is genuinely hard. Infinity made it worse, not possible.
Sleeping Beauty (finite)
Self-locating belief over a finite probability space. One coin, two days.
Two-Envelope (finite)
Misapplied conditional expectation on two finite amounts.
Unexpected Hanging (finite)
Backward induction over five weekdays. About knowledge and surprise, not infinity.
"The paradoxes are not inevitable features of mathematical reality. They are artefacts of a foundational choice. A different choice dissolves them." — The Paradox Dividend, 2026

The full accounting is in the paper.

Nine sections. 75 paradoxes. Each one stated in its classical form, diagnosed, and classified. From Zeno through Banach-Tarski through the black hole information paradox. Four mechanisms, one axiom, and an honest accounting of what survives.

Read the Paper (PDF) Download PDF ← The Main Paper
Companion Paper · 2026 · Anonymous
Topic 001·D · MIT Licence
"The result is not a weakening of mathematics. It is a clarification of what mathematics is actually doing." — The Paradox Dividend, 2026