Gödelization

== English == === Etymology === From Kurt Gödel (or Gödel number) and -ization. === Noun === Gödelization (plural Gödelizations) (logic) Gödel numbering 2013, Encyclopedia of Math[1] Gödelizations with bijective mapping β are of special interest.