Формализации Метод

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