Что такое математическая формула?

В математике формула представляет собой конечную последовательность объектов со специальными свойствами, которые делают возможным связи во всех областях.

Для заданного множества E и функции веса p : E → N формула - это слово, извлеченное из E и полученное по следующим двум правилам построения:

отдельный элемент Е веса 0 является формулой; если t является элементом веса n, для каждой последовательности из n формул F1, F2, ..., Fn объединяется в tF1F2 ... Fn, что является формулой.