Dabei ist es völlig egal, ob wir nun die linke oder die rechte Seite als Gleichheit definieren. Wichtig ist nur, dass das Extensionalitätsaxiom aussagt, dass diese beiden Bedingungen äquivalent sind. Dein unterster Absatz ist zwar richtig, aber auch fehl am Platze, da es ja nicht darum geht, das Extensionalitätsaxiom zu ersetzen. Das Extensionalitätsaxiom soll so wie es ist stehen bleiben. -- Eulenspiegel1 00:08, 10. Jun. 2011 (CEST)