diagonal argument

Noun

 * 1) A proof, developed by Georg Cantor, to show that the set of real numbers is uncountably infinite.