Ich leider nicht... Was soll die "Definition" denn bitte aussagen? Ich sehe irgendwie nicht, wie ich die so definierte Gleichheit nachweisen kann. Wenn ich und (eventuell nicht-konstruktiv) gegeben habe, und nicht weiß, ob sie gleich sind oder nicht, dann kann ich erstmal (mit Hilfe des Paarmengenaxioms) und bilden. Von diesen Mengen müsste ich nun -- ohne die Gleichheit von und zu kennen -- zeigen, dass und ist. Irgendwie erscheint es mir schwierig, diese Gleichheit (ohne ) nachzuweisen -- oder irre ich mich irgendwo unterwegs? -- ThoRunge 15:21, 10. Okt. 2010 (CEST)