411 REFERENCE · Wiktionary
Gödelization
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
From Kurt Gödel (or Gödel number) and en -ization.
Noun
en logic Gödel numbering
2013, Encyclopedia of Math
Gödelizations with bijective mapping β are of special interest.