Sich selbst enthaltende Mengen |
16.04.2018, 00:37 | Pippen | Auf diesen Beitrag antworten » |
Sich selbst enthaltende Mengen Das überrascht mich. Ist das korrekt und woraus ergibt sich das? |
||
16.04.2018, 07:48 | Guppi12 | Auf diesen Beitrag antworten » |
Hallo, das liegt am Fundierungsaxiom der Zermelo-Fraenkel Mengenlehre. Dieses besagt, dass jede nichtleere Menge A eine Menge B enthält, die keine Elemente mit A gemeinsam hat. Wenn nun C eine Menge wäre, die sich selbst enthält, so widerspräche {C} dem Fundierungsaxiom (diese Menge existiert aufgrund des Paarmengenaxioms (sie ist identisch mit {C,C})). |
||
16.04.2018, 17:01 | Pippen | Auf diesen Beitrag antworten » |
Wow, danke. Dieses Axiom verhindert also auch, dass ich überhaupt die Russellsche Menge konstruieren kann, in dem es schon vorab festlegt: Sich selbst kann diese Menge nicht enthalten und damit entsteht die Paradoxie gar nicht erst. Richtig? |
||
17.04.2018, 07:33 | Guppi12 | Auf diesen Beitrag antworten » |
In der russelschen Antinomie geht es m. W. um die Menge aller Mengen, die sich nicht selbst enthalten. Da dies alle Mengen sind, geht es um die Menge aller Mengen, die ebenfalls nicht existieren kann, denn dann müsste sie sich ja selbst enthalten ;-) |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |
|