О подобных же свойствах говорят и другие примеры, приведенные в шутливой истории Д. Гильберта.
Из приведенных выше примеров может показаться, что все бесконечности, так сказать, одинаковы, то есть что любое бесконечное множество элементов можно пересчитать с помощью бесконечного ряда натуральных чисел, как мы это сделали с четными числами.
Но это не так!
Знаменитый математик Г. Кантор в прошлом веке доказал, что число точек на отрезке прямой сосчитать никаким способом нельзя. Их нельзя перенумеровать с помощью бесконечного ряда натуральных чисел, приписывая каждой точке свой номер, в каком бы порядке мы ни выбирали эти точки. Всегда останется хотя бы одна точка, на которую не хватит номера!
Понять это не так уж сложно. В самом деле, представим себе, что мы взяли отрезок единичной длины и положение каждой точки характеризуем расстоянием ее от левого конца, принятого за ноль. Эти расстояния будем записывать в виде десятичной дроби. Точнее, положение каждой точки записывается, вообще говоря, в виде бесконечной десятичной дроби, у которой после запятой имеется бесконечный ряд десятичных знаков. Конечно, в исключительных случаях все знаки начиная с некоторого могут оказаться нулями.
Представим далее, что вопреки нашему утверждению кому-то удалось перенумеровать точки этого отрезка. Тогда мы выпишем десятичные дроби, характеризующие положения этих точек на отрезке, в порядке их номеров в виде таблицы. В первой строчке запишем бесконечную дробь для положения точки, получившей первый номер, во второй строчке бесконечную дробь для точки, получившей второй номер и т. д. Наша таблица может выглядеть, например, так
0,32869700833…
0,91967138452…
0,00063700114…
…………………………
Покажем, что обязательно есть точка отрезка, не вошедшая в этот список, и, следовательно, список неполон.
Для того чтобы записать десятичную дробь, характеризующую положение этой точки на отрезке, поступим следующим образом. Запишем первым знаком после запятой в десятичной дроби любую цифру, отличающуюся от первой цифры после запятой в первой строчке нашей таблицы (то есть в нашем примере не 3, а, скажем, 5). Вторую цифру в нашей дроби запишем любую, но отличающуюся от второй цифры во второй строчке таблицы (в нашем примере не 1); и так далее будем поступать до бесконечности. Ясно, что мы получим дробь, которой нет в нашем списке. Действительно, она не совпадает с первой строчкой, так как заведомо отличается первая цифра после запятой, не совпадает со второй строчкой так как заведомо отличается вторая цифра после запятой и т. д.