En otras palabras el teorema de Gödel sólo establece que si formula_1 es un tipo de teoría aritmética: