Выдержка из книги
Новиков П.С.
Элементы математической теории Изд.2
Такие функции могут быть рассмотрены в рамках математики таким же образом, как любые другие математические понятия, уже нам знакомые, например выводимая формула, правила получения выводимых формул и те или иные соответствия, которые мы уже раньше рассматривали для символов исчислений.
