> My proof rests upon the fact that after the set of all finite paths of > the form 0.1, 0.11, 0.111, ... has been constructed, there is no > chance to construct the path 0.111... in addition.
Why not start with path 0.111... and then add those other paths 0.1, 0.11, 0.111, ...?
