Cantor's diagonal argument works because it is based on a certain way of representing numbers. Is it obvious that it is not possible to represent real numbers in a different way, that would make it possible to count them?
Edit 1: Let me try to be clearer. When we read Cantor's argument, we can see that he represents a real number as an infinite sequence of binary digits. Using this representation, he shows that real numbers are uncountable. An intuitive counter argument could be that maybe there is another type (perhaps incredibly strange) way of representation that would make it possible to count the real numbers. A kind of trick, like the typical one used to show the countability of rational numbers. One could thus be tempted to think that when representing real numbers as infinite sequences of binary digits, it is those representations that are uncountable, but that some other representation could be countable. It seems to me that this can be summed up like this: Is a proof of the countability of a set dependent on the representation its members in the proof?