Излишняя формализация в математических задачах, на мой взгляд, не всегда есть хорошо Как рассказывал В.И.Арнольд (один из наших выдающихся математиков, ученик А.Н. Колмогорова), формализм бурбакистов во Франции привел к тому, что школьники в ответ на вопрос "Чему равняется 2+3?" отвечали: "2+3 равняется 3+2, т.к. операция сложения - коммутативная операция", но вот то, что требовалось просто сказать "2+3 = 5" им в голову приходило совсем не сразу