Математическая энциклопедия - формализации метод

способ получения формальной системы из содержательной математич. теории; один из основных методов в доказателъств теории.

Применение Ф. м. подразумевает выполнение следующих этапов.

1) Символизация исходной математич. теории. При этом все предложения теории записываются в подходящем логико-математич. языке L.

2) Дедуктивный анализ теории и выделение аксиом, т. е. тех предложений теории, из к-рых логически выводимы все предложения теории.

3) Присоединение аксиом в их символич. записи к подходящему, основанному на языке L, логическому исчислению.

Полученная при этом формальная система уже сама является объектом точного математич. изучения (см. Аксиоматический метод, Доказательств теория).

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

С. Н. Артемов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985