Obres de Kurt Gödel

Collected Works, ed. por Solomon Feferman y otros, Clarendon-Oxford University Press, Nueva York-Oxford 1986s.

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme [Sobre enunciados formalmente indecidibles en los Principia Mathematica y sistemas relacionados], en «Monatshefte für Mathematik und Physik», 38 (1931); en ed. Inglesa, On Formally Undecidable Propositions in Principia Mathematica and Related Systems, Oliver and Boyd-Basic Books, Edimburgo-Nueva York 1962.

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton University Press, Princeton, New Jersey 1940.

Traducción al castellano:

Existe una versión castellana de sus Obras completas,Alianza,Madrid 1989.