axiom of empty set

statement in set theory that asserts that the empty set exists

Categories: