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