Wie kann es denn ein noch stärkeres Extensionalisierungsaxiom geben? Gibt es denn etwas stärkeres als die vollkommene Identität zweier Mengen? Zum Beispiel: A = {1,2,3} und B = {1,2,3}, dann sind A und B identisch. Reicht das nicht?