One formal method for defining the null set is:

ø = the set of all x such that x is not identical with x

This relies on the Axioms of Identity and Existence completely; the Axiom of Infinity is also important indirectly. It should be noted that, unlike other formal methods, this has no problem with multi-valued logic.