Es sollen verschiedene Themen der Mengenlehre und der Prädikatenlogik diskutiert werden.