La demostración del segundo teorema de incompletitud requiere de un hecho técnico que Gödel originalmente no probó.