From your description, I fear you don't understand the usual diagonalisation proof that constructs an uncounted real from any attempt to count the reals. Why sh

From your description, I fear you don't understand the usual diagonalisation proof that constructs an uncounted real from any attempt to count the reals. Why should "the longest" diagonal have anything to do with it?