Опять об Фоменко

Арик сейчас учит дискретную математику. Я не математик, но вот реляции, комбинаторика (в меру), начала теории множеств это все моё. И много формальных доказательств, в 2-3-4 шага.
И вот, я с умилением смотрю, как он все это доказывает, параллельно ругаясь с ним по поводу того, записывать доказательства как у них на лекции или как мне помнится 25 лет спустя.
А потом, лёжа в кровати, думаю, что вот математика это вещь, и кто математику в университете учил, тот никогда не перепутает аксиому с леммой, которую надо ещё доказать, а доказательство с маханием руками.
И вдруг вспомнил про Фоменко, написал язвительный комментарий в ru_ivrit, и пошёл спать.