Как мы уже указывали, каждая формула является конечной последовательностью символов или, иначе говоря, словом в ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Новиков П.С.
Элементы математической теории Изд.2
Как мы уже указывали, каждая формула является конечной последовательностью символов или, иначе говоря, словом в алфавите, содержащем все указанные выше символы. Однако этим понятие формулы еще не определено. Мы должны определить, какие слова называются формулами.