Single Idea 17835

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets]

Full Idea

Gödel's incompleteness results of 1931 show that all axiom systems precise enough to satisfy Hilbert's conception are necessarily incomplete.

Gist of Idea

Gödel show that the incompleteness of set theory was a necessity

Source

report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Michael Hallett - Introduction to Zermelo's 1930 paper p.1215

Book Reference

'From Kant to Hilbert: sourcebook Vol. 2', ed/tr. Ewald,William [OUP 1996], p.1215


A Reaction

[Hallett italicises 'necessarily'] Hilbert axioms have to be recursive - that is, everything in the system must track back to them.