Do you want to learn more? The next walk after the walk The Axioms of Zermelo and Fraenkel is the walk The Cardinality of Sets [in preparation]. Its first unit is the Unit Finite Sets and their Cardinalities [in preparation].