Axiom of empty set

From Wikipedia, the free encyclopedia