The present unit is part of the following walks
At the moment the following walks are available:
The Axiomatics of Zermelo and Fraenkel
This walk is the entrance into the Mathematical Garden: You may learn how mathematics can be based on the axioms of Zermelo and Fraenkel. In addition, fundamental mathematical terms like sets, direct products, relations, functions or orders are explained. Finally, we will explain how to construct the set of the natural numbers from the axioms of Zermelo and Fraenkel.
For more details please have a look into its introduction.