Потому что можно сделать взаимно однозначное соответствие отрезка [1;2) отрезку (0;1] по формуле x1=2-x2. дальше стандартная канторовская диагональ. Пусть мы упорядочили все числа 0;1 - строим число отличающееся в n десятичном знаке от каждого n числа. противоречие - число существует и принадлежит 0;1 но отличается от каждого в упорядоченном списке.