- выражение формализованного языка, предназначенное для записи суждения. Примеры точного определения понятия Ф. в различных формализованных языках см. в ст. Аксиоматическая теория множеств, Арифметика формальная. Предикатов исчисление, Типов теория. В математич. практике Ф. наз. также осмысленные комбинации символов, несущие разнообразную смысловую нагрузку. Они могут быть как именными, так и высказывательными формами, определениями-сокращениями и пр.
В. Н. Гришин.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.