La casi mítica fama de Kurt G´del entre lógicos, matemáticos y filósofos descansa en tres logros de importancia excepcional: en 1930 probó la suficiencia del cálculo lógico de primer orden; en 1931 probó que todo sistema formal que contenga un poco de aritmética es necesariamente incompleto y que es imposible probar su consistencia con sus propios medios; y en 1938-1939 probó la consistencia relativa del axioma de elección y la hipótesis del continuo respecto de los demás axiomas de la teoría de conjuntos. Pero sus artículos y trabajos, de una concisión legendaria y de una incomparable densidad intelectual, no siempre resultan fáciles de consultar, pues se encuentran desperdigados en publicaciones, actas y revistas de varios países. Estas Obras completas reúnen la totalidad de los escritos de G´del hasta ahora publicados. Ordenados cronológicamente, cada uno de ellos va precedido de una breve introducción de Jesús Mosterín, que los sitúa en su contexto más general y a veces los resume someramente.
