Numérotation de Gödel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une technique de codage (arithmétisation) qui assigne des codes entiers naturels à des objets syntaxiques (symboles, formules, suites, preuves) de sorte que les relations syntaxiques deviennent exprimables et manipulables arithmétiquement.