What Is Cantor's Continuum Problem?

Gödel argues that Cantor's continuum problem—determining how many points lie on a Euclidean line—is a genuine mathematical question with a determinate answer, not a pseudo-problem or a matter of arbitrary convention. He rejects the view, associated with formalist and syntactical positions, that mathematical propositions are devoid of content and that the continuum hypothesis is neither true nor false. The essay defends Cantor's definition of cardinal number as uniquely determined by a thought experiment with physical objects, and it argues that the continuum hypothesis may eventually be settled by new axioms grounded in mathematical intuition, even though it is independent of the standard axioms of set theory .

Gödel's defense turns on a thought experiment. If two sets of physical objects can be brought into one-to-one correspondence, then their elements' properties and relations can be rearranged so that one set becomes indistinguishable from the other. From this, Gödel argues that two sets have the same cardinal number if and only if they can be put in bijection, which is Cantor's definition. He acknowledges that the argument applies directly only to physical objects, but insists that a definition of number that depended on the kind of objects being numbered would be unsatisfactory. Matthew Parker has criticized this argument, showing that its premises are not compelling enough to rule out alternative theories of cardinality consistent with ZFC, and that the inference from physical sets to all sets is invalid .

The 1947 essay appeared in The American Mathematical Monthly, volume 54, pages 515–525, with errata published in volume 55, page 151 . Gödel revised and expanded the essay for the 1964 collection Philosophy of Mathematics: Selected Readings, edited by Benacerraf and Putnam. The revised version is substantially longer and includes additional reflections on the nature of mathematical intuition and the prospects for settling the continuum hypothesis. The 1964 version is the one most often cited in philosophical discussions of Gödel's Platonism, while the 1947 original remains the version of record for the essay's first publication. Readers should note which version they are consulting, as the differences are not merely editorial.

Mathematical intuition, for Gödel, is a faculty analogous to sense perception that gives us access to mathematical objects and truths. It is not a psychological feeling or a mere convention, but a mode of apprehension that puts us in contact with an objective mathematical reality. This matters because the continuum hypothesis is independent of the standard axioms—Gödel's own consistency proof showed that it cannot be disproved from them, and Cohen later showed it cannot be proved. If the question is to be settled, it must be through new axioms, and those axioms must be justified by something like intuition. Gödel's Platonism is thus not a metaphysical ornament but a methodological necessity for his account of how set theory can progress beyond its current axioms.

Gödel's 1940 monograph established that the axiom of choice and the generalized continuum hypothesis are consistent with the standard axioms of set theory, via the constructible universe L. This result is the immediate backdrop to the 1947 essay. It shows that the continuum hypothesis cannot be refuted from the standard axioms, which for Gödel means that the question remains open rather than settled negatively. The essay surveys the state of set theory after this result and argues that the independence of the continuum hypothesis is not a reason for skepticism about its truth, but rather an invitation to search for new axioms. The consistency proof thus provides both the technical motivation and the philosophical framework for the essay's central claim.

A common misreading treats Gödel's Platonism as the claim that mathematical objects exist in a separate realm, analogous to physical objects but invisible. Gödel's position is more subtle. What he insists on is that mathematical propositions have objective truth-values independent of our conventions or mental acts—that there is a fact of the matter about the continuum hypothesis, even if we may never know it. He does not commit himself to a particular ontology of mathematical objects in the essay, and his Platonism is primarily a thesis about truth and intuition rather than about the furniture of the world. Reading the essay as a defense of a 'heavenly realm' of sets misses its methodological point, which is about how mathematics can grow.