SWhat changed
Establishes limits to formal provability in sufficiently strong, effectively axiomatized systems of arithmetic.
Scientific scope
The original incompleteness results for the specified formal arithmetic systems and assumptions.
Evidence
Original sources and institutional historical accounts support the stated contribution. The reading boundary is recorded at each source; this assessment is not an independent scientific verification.
Contributors
- Kurt Gödel · SCIENCE: Named source contributor to this scoped work; individual 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