Siguiente: Representación formal en base Un nivel arriba: Irresolubilidad en la Aritmética Anterior: Incompletitud

El teorema de Goodstein

Los teoremas que hemos visto hasta ahora indemostrables en la aritmética de Peano son enunciados autoreferentes. Veremos en esta sección algunos teoremas de ``tipo aritmético'' que son independientes en la aritmética de Peano, es decir, son tales que ni ellos ni sus respectivas negaciones son demostrables en AP.