Walk 2

The Axioms of Zermelo and Fraenkel