Gödel number

Noun

 * 1)  A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.

Translations

 * Catalan: nombre de Gödel
 * French:
 * German: Gödelnummer
 * Italian: numero di Gödel
 * Portuguese: número de Gödel
 * Spanish: número de Gödel
 * Swedish: Gödeltal