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