Posteriormente, este trabajo se desarrolló en la teoría de los números, empleando la numeración de Gödel.