En 1931 su teorema de la incompletitud mostró que el ambicioso plan de Hilbert era imposible tal como se planteaba.