Про "гения из гениев"

Так в России с некоторого момента было принято называть "антихриста". Но я не про него.
Вероятно, первым "гением из гениев" был Архимед (а не Платон и не Аристотель). По той причине, что он не только считал, что нужно доказывать (так считали и Евдокс, и Аполлоний Пергский), но и умел совершенно виртуозно получать многочисленные доказанные результаты (в этом отношении его потом повторил Гаусс, а ещё позже, вероятно, Фробениус). Доказывать на уровне греков математики снова научились в первой трети 19-го века.
Следующим после Архимеда был не Омар Хайям, который тоже был математиком и которому один англичанин (Фицджеральд) в 19-ом веке приписал(?) собственные(?) стихи. А следующим был Лейбниц, который не умел доказывать, как Архимед, но был весьма изобретателен как философ и как математик.
Следующим после Лейбница был Пуанкаре, основным достижением которого была философия. В ней он опередил не только своё время (Ленин, например, близоруко посчитал его слабым философом), но и до сих пор в большом экзистенциально правильное отношение Пуанкаре к миру ещё не стало по-настоящему прочувствованным у современных мыслителей. К тому же он создал алгебраическую топологию (начиная с 1892 года) и внёс значительный вклад в понимание пространственно-временных проблем. А вообще-то его математические достижения можно описывать долго.
Тем не менее самым великим человеком (хоть и не гением из гениев) я считаю композитора Джузеппе Верди.
И вроде бы никого из вышеназванных не записывали в антихристы.