Hallo Wilfried (ok?), beide Möglichkeiten haben gewisse Vorteile, aber dein Vorschlag kann auf alle Fälle so rein, da man dabei an den Axiomen nichts ändern muss. Ich halte es aber für besser, einen eigenen kleinen Abschnitt (mit einer Überschrift "Formulierung ohne Gleichheitssymbol" oder so ähnlich) dafür zu spendieren und es nicht in den Redundanz-Abschnitt dazuzupacken. Die Auswirkungen auf den Artikel Mengenlehre überblicke ich noch nicht. Man KANN ja die Gleichheit durch Extensionalität definieren, es muss halt noch ein Axiom dazu, was man an der Stelle aber vielleicht unterschlagen kann. Gruß, Wasseralm 20:12, 21. Jan. 2008 (CET)