Beweis in der ZFC Mengelehre

Neue Frage »

AoG Auf diesen Beitrag antworten »
Beweis in der ZFC Mengelehre
Hallo!

Ich habe mal wieder ein Beweisproblem und hoffe ihr könnt mir helfen,

Ich soll im ZFC (Zermelo Fraenkel Axiomenssystem ) folgendes beweisen:



Nun kann ich ja als eine Menge betrachten und das ganze natürlich für

Nun gibt es im ZFC ein Axiom, welches Extensionalitätsaxiom heißt.
Das wiederum sagt aus wann 2 Mengen gleich sind, also in diesem
Beispiel:



Wie kann ich nun mit Hilfe dessen das Problem lösen ?

Danke schon mal...
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »