El primer teorema de incompletitud es un importante teorema de la lógica matemática probado por Kurt Gödel en 1931. Este afirma que ningún sistema de axiomas cuyos teoremas pueden ser listados por un procedimiento efectivo es capaz de probar todas las verdades aritméticas de los números naturales. Supuso un duro golpe para el llamado programa de Hilbert para la fundamentación de las matemáticas. En esta oportunidad presentaremos una versión abstracta del teorema dada por Raymond Smullyan, tratando ilustrar la idea esencial de la prueba original de Gödel.
(source)