zu "Axiom der leeren Menge": man muss zusätzlich fordern, dass B nicht-leer ist oder dass B ungleich der leeren Menge ist, weil die leere Menge Teilmenge aller Menge ist, also eben auch der leere Menge (vgl. "Extensionalitätsaxiom").