En otras palabras el teorema de Gödel solo establece que si formula_7 es un tipo de teoría aritmética: