He doesn't necessarily have to. But when he defines "natural zero" as "the empty set", and someone asks "what's the empty set?", and you say "natural zero", yo

He doesn't necessarily have to. But when he defines "natural zero" as "the empty set", and someone asks "what's the empty set?", and you say "natural zero", you're being circular.