In der heutigen ZF-Mengenlehre sind alle Objekte und alle Elemente Mengen, daher sind undefinierte Hilfsbegriffe wie "Element" oder "Objekt" unnötig. Anders wäre das im originalen ZF-System von Zermelo, der auch Urelemente einkalkulierte, die keine Mengen sind. Hier wären die Formulierungsvorschläge besser. Da aber die heute übliche prädikatenlogische Formalisierung die Zermelosche Idee von Urelementen nicht berücksichtigt, würde ich die bisherige Formulierung stehen lassen oder eine verbale prädikatenlogische Formulierung vorschlagen, die nichts über den Charakter von A und B aussagt, wie es auch das formalisierte Axiom tut: Für alle A und B gibt es eine Menge C ..... --Wilfried Neumaier 10:14, 31. Dez. 2007 (CET). Heute in diesem Sinn geändert.-- Wilfried Neumaier 12:21, 1. Jan. 2008 (CET)