Ich kann das Buch bei uns leider nicht finden. Kann daher jemand mal die entsprechende Textstelle zitieren? Desweiteren bezweifle ich, dass man nur aus dem Aussonderungsaxiom das Nullmengenaxiom folgern kann. Man braucht noch mindestens ein zweites Axiom, das die Existenz mindestens einer Menge sicherstellt. Als Gegenbeispiel sei zum Beispiel das leere Modell genannt, in dem es überhaupt keine Mengen gibt. (Dieses Modell kann man zum Beispiel durch das folgende Axiom charakterisieren: ) In diesem Modell gilt trivialerweise das Aussonderungsaxiom, aber nicht das Nullmengenaxiom. -- Eulenspiegel1 22:47, 10. Jul. 2011 (CEST)