Comment by btilly

It does not matter what your best understanding of Cantor's diagonalization argument is. In some mathematical systems it means, "there are more reals than natural numbers", and in others it means, "the reals encode self-reference in a more direct way than the natural numbers do".

The result is that it is possible for the acceptance of the argument to lead to very different consequences about what we then conclude.