Cantor's diagonal argument

Cantor's diagonal argument proves that the set of infinite binary sequences is uncountable: a sequence obtained by changing the $n$th digit of the $n$th listed sequence differs from every sequence in the list.