Noun
diagonal argument (uncountable) A proof, developed by Georg Cantor, to show that the set of real numbers is uncountably infinite.