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