Suzlek
рус → тат
формализация
существительное
Русско-татарский словарь, 2018
ж.
формализация, формализацияләү, формальләштерү
математическая формализация
— математик формализация