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}}
{{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.]]
|