A straightened proof for the uncountability of \(\mathbb R\) (Q2380723)

Summary: Der heute gebräuchliche Beweis für die Überabzählbarkeit der Menge der reellen Zahlen stützt sich auf das sogenannte zweite Diagonalisierungsverfahren von Cantor, das dieser jedoch zum Nachweis der Überabzählbarkeit der Potenzmenge der natürlichen Zahlen verwandt hatte. Wegen der Nicht-Eindeutigkeit der üblicherweise eingesetzten Dezimaldarstellung reeller Zahlen müssen aber künstliche Zusatzbedingungen gestellt werden, die im Dualsystem versagen. Dies wurde von Fraenkel beobachtet, dessen Ausweg in der Betrachtung einer ``flacheren'' Diagonalen bestand. Doch auch sein Argument enthält eine Bedingung an die Dualdarstellung der Diagonalenelemente. Im vorliegenden Beitrag wird nun ein von Zahlensystem und Darstellung unabhängiger Beweis vorgestellt.