Another example of Diagonalization

Theorem 4   Canter 1800's There are more real numbers than natrual numbers. This means that there is no function that pairs natrual numbers and the reals.

Proof. Traditional. $\qedsymbol$