En el año 1931, Gödel publica el "Teorema de la Incompletitud" que demuestra que es imposible resolver el sistema propuesto por Hilbert en 1928.