Формализация это что именно
Представление какой-либо содержательной области в виде формальной системы или исчисления.