Du hast meine Änderung rückgängig gemacht. Also beweise mir bitte ohne die Existenzbedingung aus dem Leermengenaxiom in ZFU die Existenz der Null! Das geht wohl nicht. Mindestens beim Urelement ist die Bedingung wichtig. Bei der Mengendefinition kann man darauf verzichten, weil die Variablen in den Axiomen quantifiziert sind oder in einer Bedingung stehen (Bestimmtheit). Habe ich eine Klassenlogik benutzt oder eine mehrsortige Prädikatenlogik? Das wäre mir neu. -- Wilfried Neumaier 19:27, 6. Feb. 2015 (CET) A