Hallo, nach meinen ersten (mündlichen) Erkundigungen scheint die Betrachtung von ZF in der Logik ohne Gleichheit vielgestaltiger zu sein, als ich zunächst dachte. Z. B. scheint auch die folgende Definition der Gleichheit eine Rolle zu spielen: