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