Ну, я его и не привел. Там было примерно так (пишу по памяти, первый курс матана был очень давно :) ):
Пусть таки множество чисел (0,1) счетно, тогда существует последовательность {x[n]}, пересчитывающая числа. Каждое число с точностью до (9) и (0) представляется единственной последовательностью (десятичных) цифр, значит, у каждого числа определена каждая цифра, разве что число представляется конечной десятичной дробью, в этом случае таких последовательностей две, для определенности в таком случае берем последовательность с девятками. Далее - строим число y такое, что:
- перед запятой стоит 0
- n-я цифра после запятой не равна n-й цифре x[n], нулю или девяти.
Получаем, что построенное число y принадлежит (0,1) и не равно ни одному числу из {x[n]} - от противного, наше предположение о том, что множество чисел (0,1) счетное, неверно. ЧТД.
