En 1931, el lógico austríaco Kurt Gödel, con apenas 25 años, publicó sus teoremas de incompletitud, uno de los logros intelectuales más decisivos del siglo XX. Los matemáticos de la época buscaban un conjunto de axiomas que fuera a la vez consistente —sin contradicciones— y completo, capaz de servir como base de toda la verdad matemática. Gödem destruyó esa ambición: demostró que cualquier sistema axiomático suficientemente potente será necesariamente incompleto, es decir, habrá enunciados verdaderos sobre los números que no podrá probar; y también que ningún sistema puede demostrar su propia consistencia.
El artículo explica paso a paso el mecanismo de la prueba. Primero, Gödel asigna un número único —el número de Gödel— a cada símbolo, fórmula y secuencia de fórmulas, mediante potencias de números primos. Como cada entero se descompone en factores primos de una sola manera, la codificación es reversible: de un número se recupera la fórmula original. Gracias a esta codificación, las afirmaciones sobre las fórmulas (metamatemática) se convierten en afirmaciones aritméticas sobre sus números de Gödel, permitiendo que un sistemaaxiomático hable de sí mismo. Después, Gödel introduce la sustitución: un número de Gödel puede reemplazarse dentro de la fórmula que lo originó. Con esa maniobra construye un enunciado que afirma, en el lenguaje del propio sistema, que cierta fórmula no es demostrable. Si el sistema la demuestra, se contradice; si no la demuestra, queda un enunciado verdadero pero indemostrable. De ahí la incompletitud inevitable. La consecuencia filosófica es radical: no existe una teoría matemática del todo; lo que puede probarse depende de los axiomas elegidos, no de una verdad fundamental única.