Diskussion:Extensionale Identität

Zu der "Anmerkung: Im Gegensatz zur Philosophie unterscheidet die Mengenlehre in der Mathematik nicht zwischen verschiedenen Identitätsbegriffen. Hier gelten zwei Mengen als identisch genau dann, wenn sie dieselben Elemente enthalten."

Das ist natürlich nur dort eine sinnvolle Bestimmung, wo die Menge durch die Anweisung zur Feststellung "Wenn O die Eigenschaft E hat, ist Element von M" eineindeutige Ergebnisse liefert. Anders gesagt: Wir reden hier von einem statischen Mengenbegriff. Bei einem offenen, dynamischen Mengenbegriff, bei dem die Anweisung auf eine empirische Untersuchung hinausläuft, ergibt das "genau dann, wenn sie dieselben Elemente enthalten" keinen Sinn, denn es muss ja prinzipipiell immer erst festgestellt werden, ob O Elment von M ist. --Delabarquera 23:25, 11. Feb. 2007 (CET)