En definitiva, dada una propiedad cualquiera existe una sentencia que afirma «mi número de Gödel cumple la propiedad ».