Gödelization

Etymology
From (or Gödel number) and.

Noun

 * 1)  Gödel numbering
 * 2) * 2013, Encyclopedia of Math
 * Gödelizations with bijective mapping β are of special interest.