Sea una teoría en las condiciones anteriores y sea la fórmula , donde es el número de Gödel de la sentencia .