Фортран

отношение между формальными системами, состоящее в том, что множества выражений, выводимых в этих системах совпадают. Точнее, две формальные системы S1 и S2 эквивалентны тогдн и только тогда, когда Выполняются следующие условия. 1) всякая аксиома системы S1 выводима в системе S2. 2) всякая аксиома системы S2 выводима в системе S1. 3) если выражение Внепосредственно следует из выражений A1, . ., А п в силу одного из правил вывода системы S1 и выражения A1, . An выводимы в системе S2, то Вта..

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

- поверхность, несущая Фосса сеть. ..

- сопряженная геодезическая сеть. Поверхность, несущая Ф. С., наз. Поверхностью Фосса. На минимальной поверхности Ф. С. Является изотропной сетью. Каждая Ф. С. На двумерной поверхности является главным основанием изгибания поверхности. Только геликоид несет бесконечное множество Ф. С. Вопрос о существовании поверхностей, несущих Ф. С., был поставлен А. Фоссом [1]. Лит.:[1] Voss A., лSitzungeber. Matli.-nalurwiss. K1. Bayerischen Akad. Wiss. Mimchcn. ..