(лат. formula - образ, вид), комбинация матем. знаков, выражающая к.-л. предложение; напр., Ф. а2 + b2 = с2 выражает связь длины с гипотенузы прямоуг. треугольника с длинами а и b его катетов.
- выражение формализованного языка, предназначенное для записи суждения. Примеры точного определения понятия Ф. в различных формализованных языках см. в ст. Аксиоматическая теория множеств, Арифметика формальная. Предикатов исчисление, Типов теория. В математич. практике Ф. наз. также осмысленные комбинации символов, несущие разнообразную смысловую нагрузку. Они могут быть как именными, так и высказывательными формами, определениями-сокращениями и пр.
В. Н. Гришин.