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

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

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

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

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

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