Finalmente, a las secuencias de enunciados se les asigna un número de Gödel, de manera que la secuencia