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

ФОРМАЛИЗАЦИИ МЕТОД

Значение ФОРМАЛИЗАЦИИ МЕТОД в математической энциклопедии:

способ получения формальной системы из содержательной математич. теории; один из основных методов в доказателъств теории.
Применение Ф. м. подразумевает выполнение следующих этапов.
1) Символизация исходной математич. теории. При этом все предложения теории записываются в подходящем логико-математич. языке L.
2) Дедуктивный анализ теории и выделение аксиом, т. е. тех предложений теории, из к-рых логически выводимы все предложения теории.
3) Присоединение аксиом в их символич. записи к подходящему, основанному на языке L, логическому исчислению.
Полученная при этом формальная система уже сама является объектом точного математич. изучения (см. Аксиоматический метод, Доказательств теория).

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957.
С. Н. Артемов.