Heinz-Dieter Ebbinghaus ist Professor im Ruhestand an der Abteilung für Mathematische Logik der Universität Freiburg.

1 Einleitung 2 Der Rahmen der Darstellung 3 Das Zermelo-Fraenkelsche Axiomensystem 4 Relationen und Funktionen 5 Natürliche Zahlen und Zahlbereiche 6 Fundierte Strukturen und Ordinalzahlen 7 Rekursionen und Fundiertheit 8 Das Auswahlaxiom 9 Mächtigkeiten 10 Das Universum als kumulative Hierarchie 11 Metamathematische Fragestellungen 12 Zum Verhältnis von ZF und NBG 13 Vorschläge zur Lösung der Aufgaben