„Wir wollen jetzt Programmworte ''gödelisieren''.“<ref>{{Literatur | Autor=Elmar Cohors-Fresenborg | Titel=Mathematik mit Kalkülen und Maschinen | Verlag=Springer | Jahr=2013 | Seiten=38| Online=Zitiert nach {{GBS|aKeoBwAAQBAJ|PA38|Hervorhebung=gödelisieren}}}}.</ref>
Wörter einer formalen Sprache auf Nummern (''insbesondere:'' natürliche Zahlen) injektiv abbilden