В 1872 и 1873 годах Кантор постепенно понял, что для четкой формулировки условий следует рассматривать точки разрывов как множества, бесконечные в действительности. Более того, требовалось сравнить между собой различные бесконечные множества, подобно тому как 250 лет назад Галилей сравнил натуральные числа с квадратными (это, в свою очередь, привело к отбрасыванию аристотелевского принципа о том, что целое больше его частей). Кантор также открыл, что такое сравнение приводит к выводу о существовании бесконечных множеств, больших, чем другие бесконечные множества.
Эти идеи были настолько революционными и так противоречили тысячелетиям исследований, что Кантору понадобилось целых десять лет на то, чтобы полностью принять их и признать: в математику необходимо ввести актуальную бесконечность. В конце концов в 1883 году он написал длинную статью под названием «Основы общего учения о многообразиях. Математически-философский опыт учения о бесконечном», в которой не только выступал за введение актуальной бесконечности, но и утверждал, что это абсолютно неизбежно. Кантор начал свою статью, почти прося прощения за это решение:
«Изложение моих исследований об изучении множеств достигло того пункта, где развитие его становится зависимым от расширения понятия целого действительного числа за существующие до сих пор границы, и оказывается, что расширение это совершается по такому направлению, в котором, насколько я знаю, никто до сих пор его не искал.
Это расширение понятия числа носит только принудительный характер, и без него я вряд ли смогу сделать свободно хотя бы малейший шаг вперед в учении о множествах; пусть в этом обстоятельстве увидят оправдание или, если необходимо, извинение того, что я ввожу в свое рассмотрение, по-видимому, чужеродные идеи».
Теория множеств, которую упоминает Кантор, была его способом обозначения изучения бесконечных совокупностей как отдельных объектов. Он предложил сделать эту теорию основой математики. Числа, операции с ними и все математические понятия могут быть определены, согласно Кантору, на базе понятий теории множеств.
Множество, согласно определению Кантора, это «собрание целиком объектов действительности или нашей мысли». Например, числа 1, 2, 3, 4, 5,... мы можем объединить в совокупность, которую назовем множеством натуральных чисел. Числа — это элементы, или члены этой совокупности, и множество становится отдельным объектом, доступным для изучения. Мы можем также задумать множество, образованное только числом один, или днями недели, или людьми, родившимися 20 июля 1899 года. Следовательно, теория множеств — это изучение взаимных свойств и отношений множеств, или совокупностей.