„Damit läßt sich jedes Wort durch diejenige Zahl ''gödelisieren'', die durch Hintereinanderschreiben der Ziffernfolgen der einzelnen Symbolnummern entsteht.“<ref>{{Literatur | Autor=Einar Smith | Titel=Elementare Berechenbarkeitstheorie | Verlag=Springer| Jahr=2013 | Seiten=31| Online=Zitiert nach {{GBS|FY0iBgAAQBAJ|PA31|Hervorhebung=gödelisieren}}}}.</ref>
Wörter einer formalen Sprache auf Nummern (''insbesondere:'' natürliche Zahlen) injektiv abbilden