411 REFERENCE · Wiktionary
Gödel numbering
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Noun
en logic A function assigning a Gödel number to each well-formed formula of some formal language.