>>153　(続き)
　この議論のどこがまちがっているのだろうか？　実数
全体が可算個でないことは、とうの昔にカントールによ
って証明されているではないか？　しかし我々の議論に
誤りはない。我々の立場からすれば、カントールの証明
の方に問題がある。
　我々は次のように考える。式
　x = 0．a1'　b2'　c3'　d4'　e5'　……
によって、実数 x が構成的に定義できた というところ
が誤りなのである。