Gödelisierung, eine von K. Gödel im Zusammenhang mit dem Beweis seines Unvollständigkeitssatzes (1930) entwickelte Technik, mit der man Symbolketten in Produkte von Primzahlpotenzen (Gödel-Zahlen) verwandeln kann. Die Gödelisierung ist eines der wichtigsten Werkzeuge der mathematischen Logik.