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