В математической логике нумерация Гёделя - это функция, которая присваивает каждому символу и правильно сформированной формуле некоторого формального языка уникальное натуральное число, называемое его числом Гёделя.
Согласно основной теореме арифметики, любой полученный таким образом код можно однозначно разложить на простые множители, так что можно восстановить исходную последовательность.