In article <04cbc1a7-dd71-482d-adaf-63505fd63f20@7g2000yqy.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> In my case we have the sequence > 1 > 12 > 123 > ... > in potential infinity, i.e., we cannot use "all" terms but can only go > up to the nth term. There is a logical necessity that the unchanged > diagonal of the list is a term of the sequence, i.e., a line of the > list.
There is an equally forceful necessity that, for every and any member of your list, unless your list has a fixed last member, the diagonal is necessarily longer than any given member.
Thus in Wolkenmuekenheim one has instances of "P and not P" holding true. --
