Огюстен Коши, автор первого вменяемого определения предела, категорически отрицал и первое, и второе. Спиноза, наделявший природу атрибутами Бога, верил, что всякая субстанция необходимо бесконечна, но мы не можем постичь эту бесконечность своим разумом. Неотомист Константин Гутберлет, пытавшийся найти математические основания бытия Бога, придерживался противоположной точки зрения. А вот человеком, решительно провозгласившим «да!» в ответ на оба вопроса, был Георг Кантор.
Кантор настаивал, что «сущность математики состоит в ее свободе». Но эта свобода не означала произвола – в качестве одного из эпиграфов к своему главному труду Кантор выбирает высказывание Фрэнсиса Бэкона: «Мы приписываем законы разуму или вещам не по нашему произволу, а, как добросовестные писцы, слушаем и записываем то, что дает и диктует нам голос природы». По Кантору, предметом математики могут служить любые возможные – то есть, логически непротиворечивые – конструкции. Но непротиворечивость означала для Кантора лишь то, что противоречий не обнаружено – мысль, что непротиворечивость надо специально доказывать, еще не проникла в сознание математиков.
Все, что непротиворечиво, считал Кантор, существует в уме Бога. В духе схоластической традиции он решил, что его теория множеств открывает новые смыслы в Священном писании, а последовательность трансфинитных чисел представлялась ему лестницей к Богу – что, конечно, не могло не обеспокоить церковные авторитеты. В конце жизни Кантор дошел до того, что стал оспаривать непорочное зачатие Иисуса Христа и объявил его плотским сыном Иосифа, которого считал воплощением Бога Отца.
Также вполне еретически Кантор считал, что Бог создал все, что мог помыслить, а свою теорию множеств видел фундаментом естествознания, «теорией всего». Тварный мир представлялся ему состоящим из актуально бесконечного числа непротяженных элементов двух сортов: телесных и эфирных. Множество телесных элементов обладает мощностью счетного множества, алеф ноль, а мощность множества эфирных элементов – следующий за ним алеф один.
Для множеств мощности алеф ноль и алеф один Кантор нашел разложения в сумму более простых множеств разной «плотности». Он надеялся, что агрегатные состояния вещества, свет и тепло, электричество и магнетизм суть не что иное, как проявления свойств этих простых множеств. То есть, Кантор попытался воскресить пифагорейское представление «Числу все вещи подобны» на новом витке диалектической спирали.

в Санкт-Петербурге (фото с сайтов 2GIS и GradPetra)