Мне не очень интересно толочь воду в ступе про "что такое смысл", "что такое деятельность" и т.д. Речь шла о достаточно конкретных вещах. В математике есть разные теоремы, есть например теорема Пифагора, есть например теорема Геделя. В чем смысл теоремы Пифагора, тебе объяснит любой школьник. В чем смысл теоремы Геделя, тебе объяснит, например, любой аспирант computer science.

>Ты про Мырзена, шоле, который там в комментах светил своей беспросветной тупостью? Или про Кравецкого? Давай их вынесем за скобки, не считать же их философами.

Я про описанного тобой же сферического философа: "если брать такие результаты из математики в виде "слышал звон", то даже "не зная, о чём он", можно их перекладывать на философию, например, и какие-то интересные выводы получать даже. Они могут приводить в ужас математика, но философу они могут быть всё равно полезны."
Другими словами, философ может нести хуйню о том чего нихуя не понимает.

Мырзин в данном случае не только беспросветно туп, но и совершенно неоригинален.

>Вернёмся к вопросу, что такое математика. Это набор формальных систем в смысле аксиом, правил вывода и теорем, формально из них следующих.

Нет, конечно. Математика это такая наука, набор областей знания, там изучают разные интересные штуки.