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