Verdades que no se pueden probar · Enseñanza 9

Ningún sistema lo bastante potente puede demostrar, usando sus propias reglas, que no se contradice.

Después del primer teorema, alguien podría pensar: "está bien, el sistema es incompleto, pero al menos podemos demostrar dentro de él que es consistente." Gödel cerró también esa puerta, con una segunda demostración casi tan devastadora como la primera.

Al terminarla puedes decir segundo teorema de incompletitud y saber usarlo.