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