diagonal argument noun1 •A proof developed by Georg Cantor to show that the set of real numbers is uncountably infinite.
