Cantor's diagonal argument: Difference between revisions

Content deleted Content added
top: a good bit of cleanup of the lead
also rm inane hatnote...no one's going to confuse this for that, or need to be directed to a dab page, since the dab page is already primary
Line 1:
{{short description|Proof in set theory}}
{{about-distinguish-text|a concept in set and number theory|matrix diagonalization. See [[diagonalization (disambiguation)]] for several other uses of the term in mathematics}}
 
{{Anchor|Lead}}[[Image:Diagonal argument 01 svg.svg|right|thumb|250px|An illustration of Cantor's diagonal argument (in base 2) for the existence of [[uncountable set]]s. The sequence at the bottom cannot occur anywhere in the enumeration of sequences above.]]