Walk 1

Set Theory

This walk is an introduction into the theory of sets. It explains the axiomatics of Zermolo and Fraenkel and introduces into the cardinality of sets. It ends with the axiomatics of von Neumann, Bernays and Gödel.