Формализация в науке: ключевые аспекты и примеры