diagonal argument

English edit

Noun edit

diagonal argument (uncountable)

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