Нумерация Гёделя может быть интерпретирована как кодирование. Предыдущее использование такой кодировки можно найти, например, в Ludwig Wittgenstein (/ O1921 / O), Tractatus Logico-Philosophicus proposition 5.101.
Если f является отображением Гёделя и если формула C может быть получена из формул A и B с помощью правила вывода r, т.е.