AWhat changed
Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy.
Scientific scope
Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy. Scope limitation: The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.
Contributors
- Kurt Gödel · SCIENCE: Named source contributor; exact labor shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction