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