>>154
p.14 の証明自体に、おかしいところはないと思いますが、
「無限小数」と、「無限小数によって表された実数」とは、
暗黙にですが、区別して、かかれていると思いますよ。

この両者を、ほぼ同一視しても良い、と、言える理由が、
p.34-35 で議論されている、実数と、１０進数の、対応付け
の話だと思うのですが・・・

考えすぎでしょうか？