On 7 Feb., 14:44, William Hughes <wpihug...@gmail.com> wrote: > On Feb 7, 2:32 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > I do not agree that <snip> ~6 > > follows from 3. > > Nor does anyone else.
Then d is not actually infinite.
> > You do agree that d in not a line of the list.
If d of
1 11 111 ...
is not actually infinite, then it is in a line of the list since every finite initial segment of d is there.