Énumération de Gödel
concept
fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Codage_de_Gödel
Lien Wikidata : https://www.wikidata.org/wiki/Q1451046