énumération de Gödel
concept fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique
Nature : concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : énumération nom commun, Gödel nom propre