実数は可算無限であることの証明

>>130-133
　"Real number" が実はあまり reality のないものだ、
というのが面白い。