Gödel number

== English == === Etymology === Named after Austrian mathematician and logician Kurt Gödel === Noun === Gödel number (plural Gödel numbers) (logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language. ==== Derived terms ==== Gödel numbering ==== Translations ====