In article <firstname.lastname@example.org>, WM <email@example.com> 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). Every number in > T is in the first column C (and in every other column too). >
> > Therefore it is impossible that C contains more than T and more than > any line L_n of T.
The first column of T, indeed any column of T, clearly contains more that any row/line in T.
For any line n of T, every column contains at least max(line n) + 1, which is never in line n.