Что такое формализация?

Большой энциклопедический словарь
ФОРМАЛИЗАЦИЯ, представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п. ) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.