At the moment the following walks are available:
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.