# Existing Walks

The present unit is part of the following walks

## Survey

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.