Gödel numbering

== English == === Noun === Gödel numbering (plural Gödel numberings) (logic) A function assigning a Gödel number to each well-formed formula of some formal language.