See Cantor's first uncountability proof and Cantor's diagonal argument.
Δείτε την πρώτη μη υπολογιστική του Cantor και το διαγώνιο επιχείρημά του.