In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> 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.
Beyond each and every line is another line, unless WM requires a last line. So WM's "matheology and clairvoyance" is that next line, and the ones following it.
In standard math, "for each x, f(x)"and "for every x, f(x)" and "for all x, f(x)" all mean the same thing, but in WMytheology their meanings vary according to WN's whims. --