Gdel-number Definition

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