Without getting too pedantic about it, what you gave was not really a proof. You could use a similar argument to say the rationals are larger than the naturals, when they are in fact not (a surprising discovery the first time it's shown using a constructive proof). The Cantor diagonalization thing is a proof by contradiction, and is a particularly powerful construction that gets used in many places, e.g. proving the halting problem.