Die mathematische Logik geht zwar auf antike Wurzeln zurück, ist in ihrer modernen Ausgestaltung jedoch eng verbunden mit der relativ jungen Entwicklung der Mengenlehre, die wir hier in ihrer sogenannten „naiven“ Form nach Cantor behandeln, d. h., wir schauen uns an, wie man Mengen anschaulich definiert und darstellt und welche naheliegenden Operationen man darauf ausführen kann, z. B. die Bildung von Teil-, Schnitt- und Komplementmengen.