О границах науки

Колмогоров, А. П. Юшкевич. М., 1985.]. Другими словами, мощность множества телесных монад есть, по Кантору, Х

 – мощность счетного множества, а мощность множества эфирных монад – Х

первое следующее за Х

кардинальное число. Это предположение необходимо Кантору для реализации его чисто формального подхода к физике с помощью теории множеств. Претензии Кантора титаничны: он хочет осуществить тотальную аналитическую деструкцию всего: континуум пространства, материя, природа и человек, картины и симфонии – все должно быть рассыпано в «песок» бескачественных элементов теории множеств.

И обратно, всякая качественная определенность должна быть сведена к количественной в терминах канторовской бесконечной арифметики. Полезно еще раз подчеркнуть, что канторовские элементы ничего общего с лейбницевскими монадами не имеют. Элементы теории множеств – это абстрактные сущности. Тем самым Кантор пытался сложить конкретное из абстрактного, вычислить, так сказать, все сущее на листке бумаги… Дух этой титанической задачи все время витает над страницами канторовских сочинений, однако окончательного воплощения эти замыслы так и не получили…

Даже внутри математики (и логики) теория множеств столкнулась с серьезными препятствиями.

Континуум-гипотеза не была доказана. В лице аксиомы-выбора выступило еще одно утверждение, которое нельзя было ни доказать, ни опровергнуть в рамках теории множеств стандартного типа. Эта аксиома была необходима для доказательства многих важных положений математического анализа. Замена ее на другую приводила к построению довольно экзотических математик. Обнаружилось, что отнюдь не любые множества можно рассматривать в теории множеств («парадокс Рассела»). Все это заставило гораздо строже относиться к построениям с бесконечными множествами, чем это мыслилось в «наивной теории множеств» времен Кантора, и вводить здесь соответствующие ограничения. Тем не менее все здание математики было в XX веке поставлено на фундамент теории множеств. Каждая теория была интерпретирована как некоторая структура на бескачественном множестве. Систематически это было проделано группой французских математиков, которые под псевдонимом «Н. Бурбаки» начали с 40-х годов издание серии книг «Трактат по математике», с единой точки зрения представляющих все главные направления этой науки. И первым томом этой серии была как раз книга, посвященная теории множеств. Теория множеств стала в XX веке основным языком математики.