Добрый день! А можно продолжить тему?
Кантор придумал некоторый механизм, который при десятичной системе доказывает невозможность исчерпывающей нумерации действительных чисел.
Для того, чтобы доказать несчётность некоторого множества достаточно показать, что для любой нумерации возможно построить непронумерованный элемент.
Для десятичных дробей с конечным числом знаков очевидно исчерпывающая нумерация возможна. Сначала нумеруем все возможные числа с одним знаком (их всего 19 штук, с учетом отрицательных), затем - все числа с двумя знаками (таких будет немного меньше 400), затем - все с тремя и т.д.
Да, числа с бесконечным числом знаков (такие как периодические дроби, иррациональные числа) получат "бесконечные" номера (что фактически означает что они не получат номеров вовсе). Но чем это отличается от диагонального метода для рациональных чисел, где рациональные дроби с бесконечным числом знаков в числителе и/или знаменателе также получают бесконечные номера? Или для рациональных дробей есть какое-то неявное ограничение на конечность знаков? Так вроде нет, достаточно чтобы числитель был целым, а знаменатель - натуральным.