Man nehme zum Beispiel mal ein Modell, in dem es zwei leere Mengen gibt: und . (Wie wir leicht sehen, gilt für dieses Modell nicht das Extensionalitätsaxiom.) Wir haben nun nach deiner Definition von Gleichheit das folgende Problem: