Etymology
Today it means: Gödel numbering Full definition →
From Kurt Gödel (or Gödel number) and -ization.
Etymology from Wiktionary, CC BY-SA 4.0.