実数は{0
...9}の無限列(自然数から{0
...9}への関数)の集合Dと1対1には対応してないってことでしょう。

ええとDからRへは全射があって。これがDの辞書順序≦をRの順序≦の上に保存して。Rの上の異なる2点には必ずどちらとも異なる中間の点がある。

後は何でしょう?誰か教えて。このままだとRは潰れててもいいから。