El programa de Hilbert cumple con las observaciones de Gödel, tal como se expresa en sus dos teoremas de incompletitud de Gödel, de que las teorías de demostración robustas no son capaces de probar su propia consistencia.