Explain Zermelo-Fraenkel set theory's Axiom of the Empty Set. Discuss the theoretical necessity of a set containing no elements as the starting point for constructing the natural numbers (von Neumann ordinals). How does the existence of the empty set prevent infinite regress in set definitions?