Verdades que no se pueden probar · Enseñanza 3

Si un sistema demuestra una sola contradicción, puede demostrar literalmente cualquier cosa.

Esto no es una exageración retórica: es un hecho lógico duro. En un sistema donde "P" y "no P" son ambos demostrables, se puede derivar cualquier otra fórmula, verdadera o falsa, con toda la maquinaria del sistema funcionando "correctamente".

Al terminarla puedes decir consistencia y saber usarlo.