Gödel numbering

Noun

 * 1)  A function assigning a Gödel number to each well-formed formula of some formal language.