This may be a better choice for the subject. The pdf subject is specifically focused on the diagonal method used by Cantor to prove the existence of transfinite numbers.