Resultaron infructuosos los intentos repetidos de construir una prueba absoluta de la consistencia y completitud de un sistema como los Principia Mathematica, cuyo vocabulario y aparato lógico permiten englobar toda la aritmética elemental. La publicación en 1931 del trabajo "Sobre las proposiciones formales no decidibles de los Principia Mathemática y sistemas conexos", de Kurt Gödel, demostró finalmente que tales intentos y los que se desarrollaran dentro de los límites estrictos del programa de Hilbert habían de fracasar.

03 julio, 1997