A question about infinity that math itself cannot answer

There are infinitely many whole numbers, and a strictly bigger infinity of real numbers. Georg Cantor asked in the 1870s: is there any set whose size sits strictly between those two infinities, or does every infinite subset of the reals match one of those two sizes exactly?

Reveal the answer

The astonishing resolution is that the question can't be settled using standard mathematical axioms: Kurt Gödel showed in 1940 that the continuum hypothesis can't be disproved from those axioms, and Paul Cohen showed in 1963 that it can't be proved from them either. It is independent of the foundations of mathematics -- true in some consistent versions of set theory and false in others.

— Georg Cantor; independence shown by Kurt Gödel and Paul Cohen, Continuum hypothesis — posed 1878, proven independent 1963

One credited idea per card. No filler. Swipe the rest in Savvy.

Keep swiping — it's free Works right in your browser. No app store needed.

More Puzzles

All Puzzles cards →
More from Georg Cantor →

Five ideas worth knowing, every week

The week's best cards and a puzzle, credited as always. Free, unsubscribe any time.