Dass man es so definieren kann, bezweifle ich ja nicht. Aber es ist eben nicht mehr äquivalent zu ZF, da die "unterliegende Logik" gewechselt wurde. Auch die Modelltheorie ist anders, weil es jetzt eben keine kanonische Gleichheitsrelation mehr gibt. Ich denke, wir sollten die Thematik anhand geeigneter Quellen einmal abklären. Dummerweise habe ich dazu keine vorliegen (außer allgemeine über Prädikatenlogik). Kannst du welche nennen? Gruß, Wasseralm 22:29, 15. Jan. 2008 (CET)