diagonal argument

English

Noun

diagonal argument (uncountable)

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