Einführung in die Mengenlehre

Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen. Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen. Geschichtliche und erkenntnistheoretische Betrachtungen runden das Bild ab. Das Buch setzt keine spezifischen mathematischen Kenntnisse voraus. Es richtet sich an alle, die an den Grundlagen der Mathematik interessiert und mit Gedankengängen mathematischer Prägung vertraut sind. Rund 200 Übungsaufgaben mit Lösungshinweisen bieten eine zusätzliche Hilfe, insbesondere dann, wenn man das Buch zur eigenständigen Erarbeitung des dargebotenen Stoffes nutzen möchte. Die Neuauflage ist vollständig durchgesehen und enthält jetzt eine systematische Behandlung der konstruktiblen Hierarchie, die Beweise der relativen Widerspruchsfreiheit des Auswahlaxioms und der Cantorschen Kontinuumshypothese erlaubt. Der Autor Heinz-Dieter Ebbinghaus ist Professor im Ruhestand an der Abteilung für Mathematische Logik der Universität Freiburg. Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen. Geschichtliche und erkenntnistheoretische Betrachtungen runden das Bild ab. Das Buch setzt keine spezifischen mathematischen Kenntnisse voraus. Es richtet sich an alle, die an den Grundlagen der Mathematik interessiert und mit Gedankengängen mathematischer Prägung vertraut sind. Rund 200 Übungsaufgaben mit Lösungshinweisen bieten eine zusätzliche Hilfe, insbesondere dann, wenn man das Buch zur eigenständigen Erarbeitung des dargebotenen Stoffes nutzen möchte. Die Neuauflage ist vollständig durchgesehen und enthält jetzt eine systematische Behandlung der konstruktiblen Hierarchie, die Beweise der relativen Widerspruchsfreiheit des Auswahlaxioms und der Cantorschen Kontinuumshypothese erlaubt.

Das Buch, das nun in dritter, korrigierter Auflage vorliegt, behandelt die Basis-Resultate der Mengenlehre aus der Zeit Cantors und Zermelos, was etwa den Zeitraum von 1870 - 1930 abdeckt. Die Ideen dieser Zeit bilden das Herz der Disziplin und haben das heutige Bild der Mathematik entscheidend mit gepragt. Ziel ist, die zentralen Konzepte und Probleme der Mengenlehre - Machtigkeiten, Kardinalzahlen, Kontinuumsproblem, Wohlordnungen, transfinite Zahlen und transfinite Rekursion, mengentheoretische Untersuchungen von R - in ihrem Wesen begreifbar zu machen. Eine Axiomatik wird in Ubereinstimmung mit der historischen Entwicklung erst dann eingefuhrt, wenn die Theorie bereits weit gediehen ist und nach einem stabilen Fundament verlangt. Schliesslich wird die Axiomatik in einen formalen Rahmen eingebettet, was Resultate uber die Grenzen des Gebaudes ermoglicht (wie z.B. die Unabhangigkeit der Kontinuumshypothese). Das Buch wendet sich an Studierende und Dozenten der Mathematik.