Маленькой деталью поделюсь.
Кантор все время спорит с противниками актуальной бесконечности (из них первый - Аристотель), указывая на логическую их ошибку: они к бесконечным числам предъявляют требования, которым удовлетворяют числа конечные Вот например.
∞ + 1 = ∞.
Но у чисел а и а + 1 различные четности. Значит, бесконечное число одновременно и четное, и нечетное - противоречие!
Но, возражает Кантор, бесконечные нужно принимать такими, каковы они есть. И он прав.