" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ

Значение ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ в математической энциклопедии:

название формальной аксиоматич. теории, специально предназначенной для формализации (точного описания доказательств) математич. анализа. При этом формальную аксиоматич. теорию стараются выбирать по возможности минимальной по своим дедуктивным и выразительным возможностям, но все же достаточной для формализации всего традиционного материала математич. анализа.
Наиболее распространенный вариант Ф. м. а., принадлежащий Д. Гильберту (D. Hilbert) и П. Бернайсу (P. Bernays; см. [1]). можно описать следующим образом. К языку классич. арифметики формальной добавляется новый вид переменных X, Y, Z, . . ., к-рые рассматриваются как пробегающие множества натуральных чисел. Добавляется новый вид атомарных формул: ("t принадлежит множеству <