In article <firstname.lastname@example.org>, WM <email@example.com> 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. --