Cantor's diagonal argument

A mathematical proof technique developed by Georg Cantor to demonstrate that some infinite sets, such as the set of all real numbers, cannot be put into a one-to-one correspondence with the set of natural numbers, thereby showing that not all infinities are of the same size.