검색어: aussonderungsaxiom (독일어 - 영어)

die existenz der leeren menge folgt mit dem aussonderungsaxiom aus der existenz irgendeiner anderen menge.
given such an axiom together with the axiom of separation, the existence of the empty set is easily proved.

dieses axiom integrierte zermelo 1930 in sein zf-system und bemerkte dazu, dass aus ihm das aussonderungsaxiom ableitbar ist, so dass es im zf-system entbehrlich ist.
but in this case, the set "b" required for the axiom of separation is the empty set, so the axiom of separation follows from the axiom of replacement together with the axiom of empty set.