diagonal argument en · NOUN Meanings (uncountable) A proof developed by Georg Cantor to show that the set of real numbers is uncountably infinite. Hypernyms argument Synonyms Cantor's diagonal argument