Wilfried Neumaier es stimmt zwar, dass es nicht ausreicht, die Extensionalität in die Definition zu packen. Wenn man ZF haben will, braucht man immer das Extensionalitätsaxiom. Das besondere am Extensionalitätsaxiom ist aber: Wenn man das Extensionalitätsaxiom hat, muss man die extensionalität nicht in die Gleichheitsdefinition packen. Ausformuliert steht ja beim Extensionalitätsaxiom: