Hallo Wilfried Neumaier, ich beginne mich mit dem Gedanken anzufreunden, dass du im Prinzip Recht hast. Sehe ich das aber richtig, dass in dem Fall der Logik ohne Gleichheit, wo die Gleichheitsbeziehung einfach als Abkürzung definiert wird (und man damit das Extensionalitätsaxiom einspart), trotzdem die Gleichheitsaxiome (für die definierte Relation "=") dazugenommen werden müssen. Sonst sehe ich nicht, wie das neue System logisch äquivalent zu ZF sein sollte. Gruß, Wasseralm 19:39, 18. Jan. 2008 (CET)