Fíjese que añadir formula_6 a los axiomas del sistema no resolvería el problema: habría otra sentencia de Gödel para la teoría ampliada.