Explain the theoretical necessity of the empty set in Zermelo-Fraenkel set theory. Discuss how the empty set functions as a building block for the natural numbers and why it is distinct from the concept of zero as a number.