In article <70975fc9-c19f-48ff-8437-9edb96dd3d69@d11g2000yqe.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 4 Feb., 12:33, William Hughes <wpihug...@gmail.com> wrote: > > > This does not prevent us from using induction to show that > > there is no natural number n, such > > that the nth line of L contains every FIS > > of 0.111.... > > Of course. For every FIS in line n we can find a larger FIS. But there > are not all.
But a diagonal or antidiagonal IS all, because a diagonal or antidiagonal cannot end until the list of FISs has been ALL used up. --