Page 51 - 18 Godel
P. 51
CAPÍTULO 2
El primer teorema de Gódel
El primer teorema de incompletitud
de Godel dice que, dado cualquier conjunto de
axiomas para la aritmética, siempre habrá un enunciado
aritmético verdadero que es indemostrable a partir de ellos,
si es que solo se admiten los métodos de demostración
avalados por el programa de Hilbert. La demostración
de este teorema consiste esencialmente en obtener
un enunciado autorreferente que dice de sí mismo
«yo no soy demostrable».
