In diesem Kapitel beschäftigen wir uns mit Mengen und deren Verknüpfungen. Zusammen mit der Aussagenlogik bildet die Mengenlehre ein Fundament der modernen Mathematik. Es sei angemerkt, dass wir bereits in diesem Kapitel einige Beweise durchführen werden, wobei wir manche Inhalte aus Kap. 3 und 5 vorwegnehmen.