Por tanto formula_6 es "cierto" (formula_6 afirma no ser demostrable y no lo es) y, sin embargo, no se puede probar formalmente en el sistema.