Irónicamente, el día antes de que Hilbert pronunciase esta frase, Kurt Gödel presentaba su tesis, que contenía el famoso teorema de incompletitud: hay cosas que sabemos que son ciertas, pero que no podemos probar.