El enunciado original debido a Gödel, cuya demostración se esboza en esta sección, es más débil que el presentado arriba, ya que en lugar de la consistencia de la teoría "T" se exige una propiedad más fuerte, la ω-consistencia.