On 4 Feb., 22:30, Virgil <vir...@ligriv.com> wrote:
> > Of course, every FIS is in a line. And every FIS contains all > > preceding FIS. > > This list > > 0.1 > > 0.11 > > 0.111 > > ... > > contains every FIS of 0.111... as well in the (unchanged) diagonal as > > in a line. Obviously the diagonal cannot have more 1' than every line. > > Any 'diagonal' for such a list necessarily contains more 1's that any > line, since for every line of length n it must contain as many positions > as the necessarily following line of length n + 1.
Up to every line the diagonal contains as many 1's as the line (with mathematical precision). And beyond every line there is nothing - but matheology and clairvoyance.