[QUOTE]Борис Гриневич пишет:
Интересно было бы выслушать математиков (по теореме Кантора) [/QUOTE]Я,не математик,но с критическим отношением к "Теории бесконечных множеств"Кантора(начиная с начала прошлого века знаком),по соответствующей литературе.Если кратко(как я понял)суть в том,что Кантор принял к рассмотрению "актуальную бесконечность",которую избегали все мыслители,начиная с античных,и до гениальных математиков,вплоть до него.В результате,сам Кантор осознал,что пришёл к противоречию,но главное не в этом,а в том,что математики осознали,неявно(в той или иной степени)использовали идеи ,созвучные канторовским,в качестве доказательств.В результате этой рефлексии,математика начала расслаиваться на множество направлений(логицизм,интуиционизм,и т.д.) Окончательный приговор вынес Гёдель.