What exactly is a set with no elements? What does it mean? Aren't sets entirely defined by their contents? In what manner is a set with no contents defined? I'm not arguing for or against such an axiom... I simply want to know what the axiom actually is saying. If an empty set is not well-defined, what is it actually asserting?