außerdem: durch die Gleichheitsaxiome wird nur erzwungen, dass die "Gleicheitsrelation" als Äquivalenzrelation interpretiert wird. Es kann aber verschiedene Elemente im Modell geben, die äqivalent sind, z. B. mehrere leere Mengen. Wasseralm 22:57, 15. Jan. 2008 (CET)