„Wir nennen es ''Programmwort''. […] 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=Programmwort+Programmworte}}}}.</ref>
{{K|EDV|Informatik}} innerhalb einer Programmierung verwendeter Ausdruck, der zahlentheoretisch kodiert werden kann