対角線論法っておかしくね？

う、可算無限になったほうは、0.111...に対応する自然数を明かしてしまうと、
なにやっているか（トリック）がバレてしまう。
Eudoxus real numberの論文を調査中。これに従った構成法でできそうな雰囲気。
実数が可算無限であるといいはれるだけの証明をなんとか４月１日までに完成させたい。