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