runzel

"Cantor kam zu seiner Mengenlehre durch die Betrachtung eindeutiger (heute: „bijektiver“) Zuordnungen der Elemente von unendlichen Mengen. Er bezeichnete Mengen, für die eine solche Beziehung hergestellt werden kann, als äquivalent oder „von gleicher Mächtigkeit“, auch „gleichmächtig“. Demnach ist die Menge der natürlichen Zahlen ... der Menge der rationalen Zahlen (Brüche) äquivalent, was er durch sein Diagonalisierungsverfahren zeigte. Mit seinem zweiten Diagonalargument bewies er dann, dass die Menge der reellen Zahlen mächtiger ist als die der natürlichen Zahlen ..."

Unendlichkeit "Bereits Cantor vermutete die sogenannte Kontinuumshypothese, gemäß der jede Teilmenge der reellen Zahlen entweder abzählbar oder gleichmächtig zur Menge der reellen Zahlen ist."

Ernst Zermelo