Однако собственно катафатики бесконечного сразу не получается. Три века дифференциальное и интегральное исчисления остаются, скорее, просто методом, чем строгой научной теорией: есть алгоритмы, но нет понимания. Нет, в частности, и строгой теории действительного числа. Положение начинает меняться только во второй половине XIX столетия. Предлагаются, в частности, несколько конструкций числового континуума — и все они используют актуальную бесконечность. Наконец, с 70-х годов XIX века Г.Кантор начинает публиковать свои статьи по теории множеств, которая должна была стать именно наукой (арифметикой, анализом) бесконечного. В бесконечном, которое до этого выступало как единое, непознанное начало, действительно проводятся некоторые важные различения. Кантор выделяет: Абсолют — бесконечное в Боге, трансфинитное — бесконечное в сотворённом мире, и трансфинитные числа — предмет его теории, арифметика бесконечного. Он трезво формулирует (вначале), что наука не занимается Абсолютом, предметом богословия. По поводу бесконечного в природе у Кантора были некоторые научные гипотезы, которые, однако, никогда и никем не были проверены[143]. Оставались только трансфиниты, теория множеств. Здесь с самого начала были обнаружены серьёзнейшие парадоксы. Один из них — парадокс Бурали-Форти (1897) — показывал противоречивость самого понятия шкалы всех порядковых чисел (ординалов). Кантор пытается «вытолкнуть» этот парадокс за границу теории множеств новым различением: констистентных и неконстистентных множественностей. Теория множеств по определению занимается только консистентными множественностями, т. е. такими, которые «можно мыслить без противоречия». А множество всех ординалов — неконсистентно… Но остаётся вопрос: а как проверять бесконечное множество на консистентность? Почему мы уверены, что даже самое простое бесконечное множество N = {1,2,3….} есть консистентное множество (Р.Дедекинд)? Ответов на это получено не было…
Кроме того, Кантор и его ученики, которые довольно быстро выделили из построений учителя аксиоматику теории множеств, настаивали, чтобы бесконечность подчинялась определённым требованиям. Одно из них есть знаменитая аксиома выбора, формулировка которой кажется довольно естественной: если у нас есть бесконечное (скажем, счётное) множество непустых множеств, то можно образовать новое множество, содержащее только по одному элементу каждого из данных. При всей, казалось бы, простоте этого утверждения любые попытки как-то объяснить его, не говоря уже доказать, оказывались безуспешными. Положение напоминало ситуацию со знаменитым V постулатом Евклида и, исходя из опыта обсуждения этого постулата, из построения неевклидовой геометрии, естественно вставал вопрос: а, может быть, возможна теория множеств и без аксиомы выбора?.. Благодаря работам К.Геделя (1939) и П.Коэна (1963) была показана независимость аксиомы выбора от остальных аксиом теории множеств Цермело-Френкеля. Со временем вместо аксиомы выбора были предложены другие аксиомы (например, аксиома детерминированности), которые порождали другие, неканторовские, теории множеств и построенные на последних довольно необычные «неканторовские математики».