Сенектутем, полностью согласен. На суровой логике можно всё, что может математика. Ну. Ну пишутся же проги на ассемблере. Вот и математика на суровой логике. Вообще, в математике содержательного нету, кроме всякой суровой логики и тому подобные теории категорий.