Las esperanzas del éxito de sus pruebas fueron cortadas por los trabajos de Kurt Gödel quien en 1931 probó las conclusiones de Hilbert no atendibles en su obra "inconsistencia de los teoremas".