Il existe des méthodes plus sophistiquées -LRB- et plus concises -RRB- pour construire une numérotation de Gödel pour les séquences.
Voir aussi une méthode plus sophistiquée -LRB- mais plus "concise" -RRB- pour construire la numérotation de Gödel pour les séquences.