Dank der Aussonderung wissen wir, dass es eine Menge B gibt mit . (Und dieses B ist dann unsere gesuchte Leere Menge, wie man über die Eigenschaften von Gleichheit leicht beweisen kann.) -- Eulenspiegel1 05:19, 26. Mai 2008 (CEST)