Hallo Wilfried, wenn ich Dich richtig verstehe, dann ist das Extensionalisierungsaxiom, das im aktuellen ZFC-Artikel beschrieben wird, das stärkste, das es geben kann. Mit anderen Worten: Identischer als identisch geht nicht.