In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> Matheology §252 > > The table T > > 1 > 2, 1 > 3, 2, 1 > ... > n, ..., 3, 2, 1 > ... > > is a sequence of finite initial segments (1, ..., n) of natural > numbers. It contains every natural number that can be somewhere. Every > number in the sequence T is in one line L_n and in all further lines > by construction of T (always the last line is added).
If there is a last line, then what WM claims of T is false.
Every number in > T is in the first column C (and in every other column too). > > forall n : (1, ..., n) c C ==> (1, ..., n) e T > forall n : (1, ..., n) e T ==> (1, ..., n) c C > > Therefore it is impossible that C contains more than T and more than > any line L_n of T.
Only half true. A column contains no more that the whole table but always contains more than any one row/line of that table.
> But we know
What WM claims to know is far too often only knownable within Wolkenmuekenheim, from which all sane mathematicians are, thankfully, forever banned by their sanity and logic. --