- выражение формализованного языка, предназначенное для записи суждения. Примеры точного определения понятия Ф. в различных формализованных языках см. в ст. Аксиоматическая теория множеств, Арифметика формальная. Предикатов исчисление, Типов теория. В математич. практике Ф. наз. также осмысленные комбинации символов, несущие разнообразную смысловую нагрузку. Они могут быть как именными, так и высказывательными формами, определениями-сокращениями и пр.

В. Н. Гришин.