Do you want to learn more? The last unit of the walk The Axioms of Zermelo and Fraenkel shows the full strength of the concept: In Unit The Natural Numbers and the Principle of Induction we will formally introduce the set $\mathbb{N}_0$ of the natural numbers in the framework of Zermelo and Fraenkel.