Gödel number in German

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