Pero Gödel demostró que los principios formula_2 ni siquiera podrían demostrar su propia coherencia, por no hablar de la de formula_1!