Mathematics & Algorithms · Recorded milestone
Incompleteness theorems
Recorded year1931
Kurt Gödel proves any rich mathematical system has true but unprovable statements.
Explore this milestone on the interactive mapBuilt on
No connections of this kind are recorded.
Led to
Sources & evidence
Dataset updated 2026-10-18. This individual record has not been separately re-reviewed.