Einleitung.- Der Rahmen der Darstellung.- Das Zermelo-Fraenkelsche Axiomensystem.- Relationen und Funktionen.- Natürliche Zahlen und Zahlbereiche.- Fundierte Strukturen und Ordinalzahlen.- Rekursionen und Fundiertheit.- Das Auswahlaxiom.- Mächtigkeiten.- Das Universum als kumulative Hierarchie.- Metamathematische Fragestellungen.- Anhang: Zum Verhältnis von ZF und NBG.- Hinweise zur Lösung der Aufgaben.
Heinz-Dieter Ebbinghaus ist Professor im Ruhestand an der Abteilung für Mathematische Logik der Universität Freiburg.