Ich habe im Artikel behauptet, man bräuchte das Unendlichkeitsaxiom, um das Leermengenaxiom herzuleiten. Das wurde mit Hinweis auf die Quellenangabe korrekterweise revertet. In der Quelle wird behauptet, dass man das Leermengenaxiom nicht braucht, weil die Existenz mindestens einer Menge rein logisch eine Tautologie ist. Vielleicht sollte man im Artikel darauf hinweisen, dass man hier stillschweigend von einer Logik ausgeht, in der es immer mindestens ein Objekt gibt. -- Cosine 16:12, 22. Okt. 2012 (CEST)