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

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