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