Da sehe ich nicht, wieso das aus der =Definition (als Extensionalität) folgen sollte, also muss dieses Gleichheitsaxiom eigentlich dazugenommen werden (oder übersehe ich etwas?). Gruß, Wasseralm 14:33, 19. Jan. 2008 (CET)