Kurt Gödel

1906 – 1978

• Obras completas
• On formally undecidable propositions of Principia mathematica and related systems
• The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory