Kurt Gödel echó abajo la pretendida demostración, mostrando así el poder de los lenguajes formales, la posibilidad de modelar las matemáticas y la fertilidad de la lógica.