Выдержка из книги
Гильберт Д.N.
Основания математики
Замысел нашего определения состоит в том, что понятие терма должно будет формализовать у нас понятие числа, понятие функционала - понятие арифметической функции, а понятие формулы - понятие высказывания.