Irgendwo weiter oben bei der Redundanz zur Existenz einer Menge tauchte das Existenzproblem schon einmal auf, weil man offenbar keine Einigkeit über die Prädikatenlogik erster Stufe hat. Wenn man sich da einigen könnte, wäre die Sache einfacher. Du selbst warst derjenige, der darauf bestanden hat. Das Problem besteht in der Anerkennung der Fregeschen Existenzquantoreinführung. Damals hast Du sie angezweifelt. Sie wäre aber notwendig zum Beweis der Existenz der Leermenge ohne die Bedingung in der Definition. Deshalb habe ich die Definition erweitert. Ich habe auch im Artikel Diskussion: Klasse (Mengenlehre)#Klasse aller Klassen? schon mit anderen diskutiert, die angezweifelt haben, dass man in der Standard-ZF-Sprache über echte Klassen sprechen kann. Das ist ganz klar, aber wenig bekannt und wenig praktiziert. -- Wilfried Neumaier 19:52, 6. Feb. 2015 (CET)