Diagonalization argument

Redirect to:

• Cantor's diagonal argument