The Consistency of the Continuum Hypothesis.
Princeton: Princeton University Press, 1940. First edition, first printing, and a fine copy with provenance, of Gödel’s demonstration that the Continuum Hypothesis and the Axiom of Choice are consistent with the standard axioms of set theory. This brief monograph, issued as number 3 in the Annals of Mathematics Studies, provided the first rigorous proof that two of the most debated principles in modern mathematics cannot be disproved from Zermelo–Fraenkel set theory (ZF). It marks the transition from Hilbert’s programme of absolute consistency to the modern method of relative consistency and inaugurated the use of definability and model-theoretic construction in set-theoretic foundations. Provenance: Morton G. White (1917–2016), philosopher and historian of ideas, with his ownership inscription on the front blank. White taught at Harvard before joining the Institute for Advanced Study, where he was a colleague of Gödel. A critic of narrow logical empiricism, he sought a unified account of science and philosophy that rejected the division between analytic and synthetic knowledge. His presence at Princeton during Gödel’s most productive years places this copy within the immediate circle that witnessed the birth of modern mathematical logic. Gödel’s result arose directly from the situation created by his incompleteness theorems of 1931. Those theorems had shown that any consistent formal system capable of expressing elementary arithmetic contains true propositions that are unprovable within the system and that such a system cannot prove its own consistency. The outcome forced a revision of Hilbert’s programme, which had aimed to establish the reliability of mathematics by finitary proof methods. Having demonstrated that absolute proof of consistency was impossible, Gödel turned to relative proof: if a given axiom system is consistent, certain extensions of it will be consistent as well. His Consistency of the Continuum Hypothesis is the most powerful realisation of that idea. The Continuum Hypothesis (CH) had dominated discussions of the infinite since Cantor first posed it in the 1870s. Cantor showed that the natural numbers and the real numbers form sets of different cardinalities but was unable to decide whether any intermediate cardinality exists. Hilbert placed the problem first in his celebrated list of 1900, describing it as a test of the adequacy of the mathematical axioms. Gödel’s theorem supplied half of the answer: he proved that CH, together with the Axiom of Choice, cannot be refuted from ZF. The complementary half was provided twenty-three years later by Paul Cohen, who proved that CH cannot be derived from ZF either. Together their results established the independence of CH from the standard axioms of mathematics. Gödel’s proof depends on the construction of a new mathematical universe, the constructible universe (L). He defines L as a hierarchy built by transfinite recursion through the ordinals: at each stage α the level Lα consists of all sets definable from earlier stages, and L is the union of all such levels. He shows that L is an inner model of ZF set theory—meaning that all the axioms of ZF hold within it—and that in this model every set is definable. From that definability it follows that every set can be well-ordered, so that the Axiom of Choice holds in L. He further proves that in L every infinite cardinal κ satisfies 2^κ = κ⁺, which yields the Generalised Continuum Hypothesis (GCH) and therefore CH itself. The decisive conclusion is that, if ZF is consistent, so is ZF + AC + GCH; consequently neither AC nor CH can be disproved from ZF. The method represented a new way of reasoning about mathematics. Instead of searching for proofs inside an axiomatic system, Gödel constructed a model of that system within which particular statements could be seen to hold. The idea that mathematical theories could be examined by building universes satisfying them was revolutionary. It introduced the model-theoretic perspective that now underlies all modern work on logical independence. The theorem’s intellectual setting was the foundational crisis that had followed the paradoxes of set theory at the turn of the century. The axioms formulated by Zermelo and later refined by Fraenkel and Skolem were intended to eliminate contradiction by precisely specifying how sets are formed. Yet it remained unclear whether these axioms were themselves sufficient to decide every legitimate mathematical question. Gödel’s proof demonstrated that the axioms leave certain central questions open, not through any defect of reasoning but through the structure of the axioms themselves. Mathematical truth could no longer be identified with provability. Gödel presented preliminary results in 1938 and completed the full argument at Princeton the following year. The Annals of Mathematics Studies series was created to record significant advances in pure mathematics, and his treatise was selected for publication almost immediately. It circulated among mathematicians who were already familiar with the technical language of axiomatic set theory—von Neumann, Church, Bernays, Tarski—and it rapidly became a reference point for all subsequent research in foundations. In logical terms the theorem asserts a relative consistency: if the system ZF is consistent, then the extended system ZF + AC + GCH is also consistent. The implication is not reciprocal, since a model of the latter automatically yields one of the former, but the argument shows that no contradiction can arise from adding these principles. Gödel’s construction was the first convincing demonstration that a mathematical statement might be independent of a given axiomatic framework. It thus altered the expectation—shared by Frege, Hilbert, and Russell—that the axioms of set theory could capture all mathematical truth. For set theory itself the consequences were immediate. The constructible universe provided a fixed reference model in which many conjectures could be tested. It became the foundation of what is now called inner-model theory, the study of definable subuniverses of V (the total universe of sets). Jensen’s fine-structure theory of L in the 1960s and the later development of core models for large-cardinal axioms all descend from Gödel’s method. The statement V = L—that every set is constructible—remains the canonical minimal model of ZFC, against which stronger axioms are measured. In this sense Gödel’s paper provided not only a proof but an enduring framework for reasoning about relative consistency. The philosophical import of the result is equally central to Gödel’s thought. He regarded mathematics as the exploration of an objective realm of entities existing independently of human invention. The success of the constructible universe confirmed for him that mathematical reality has determinate structure even where it exceeds our axioms. While his proof showed that CH cannot be resolved within ZF, he maintained that it must nevertheless have a definite truth value discoverable through the introduction of new axioms of higher order. His later essays argued that such axioms—especially those asserting the existence of large cardinals—might eventually restore completeness at a higher level, just as the extension from arithmetic to analysis had done in earlier centuries. The clarity and restraint of the exposition correspond to Gödel’s general conception of mathematics. There is no attempt at persuasion, only the formal progression of definitions and theorems. The argument is almost entirely internal, referring to no external sources. Within that narrow compass, however, Gödel created an entirely new technique. The idea that one can analyse the strength of mathematical principles by constructing specific models was not only a technical innovation but a methodological shift, changing how mathematics conceives of its own foundations. Although the immediate audience was small, the influence of the work widened steadily after the war. At Princeton it was studied by von Neumann and his students; in Cambridge and Warsaw it informed the development of recursion theory and proof theory; and by the 1950s it had entered the standard corpus of logic through textbooks by Kleene and Tarski. When Cohen introduced forcing in 1963, his method was conceived as a mirror image of Gödel’s: where Gödel had defined an inner model satisfying CH, Cohen adjoined generic sets to create an outer model in which CH fails. The two constructions together fixed the boundaries of ZFC and confirmed that the continuum problem cannot be settled within it. Gödel’s theorem thus redefined the aims of foundational research. The hope of a single complete and self-sufficient axiom system gave way to the analysis of hierarchies of strength and to the search for principles capable of extending ZFC without contradiction. At the same time the proof clarified the conceptual relation between syntax and semantics, between formal derivation and the existence of models. This distinction became a cornerstone of modern logic and influenced later work in computer science and information theory. Gödel himself regarded these results as part of a larger philosophical project. He saw the incompleteness theorems and the constructible-universe proof as related aspects of a single insight: that mathematical knowledge cannot be reduced to mechanical calculation but depends on the recognition of abstract structure. In later years he continued to defend the reality of mathematical intuition and to argue for the possibility of objective discovery in mathematics, a view that set him apart from the prevailing formalism of the mid-century. Morton White’s ownership of this copy adds a distinctive historical connection. White’s critique of empiricism and his development of “holistic pragmatism” sought to dissolve the boundary between science and philosophy. At the Institute he worked among logicians and mathematicians who were redefining that boundary in practice. His engagement with questions of justification and coherence mirrors Gödel’s concern with the sources of mathematical certainty. The association thus situates this copy within the immediate philosophical context of the theorem’s reception.
8vo (229 × 153 mm), pp. vi, 66. Original orange printed wrappers; Lithoprinted text from typescript, as issued. A clean, crisp copy, with only faint toning to the wrappers and minimal wear at the extremities.
Item #6476
Price: $3,500.00
