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