Прочел формулировку первых трех теорем и их интерпретацию читать не стал: а зачем? Все и так это знают. Там - популярный рассказ об истории некоторых знаменитых проблем математики.
4-я "теорема" - вещь тоже известная. Ничего страшного в этом нет. И вообще - поточнее бы формулировку! Перестали заниматься нумерацией чисел, многоугольными числами - так это и не надо никому. А с чего он взял, что перестали конечными группами заниматься?!

Само доказательство классификации народ еще пытается упростить.
(Оффтоп)
интересно, что будет с магическими квадратами?