ZFC Axiome < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 21:45 Di 13.05.2014 | | Autor: | YuSul |
| Aufgabe | | Es gibt eine induktive Menge, welche (als Teilmenge) in jeder induktiven Menge enthalten ist. |
Hi,
ich habe gerade ein Problem mit dieser Aufgabe. Ich soll sie nur unter Verwendung der ZFC Axiome lösen, weiß aber nicht so recht was gefragt ist.
Soll ich zeigen, dass jede induktive Menge, die selbe induktive Menge als Teilmenge besitzt, oder dass jede induktive Menge irgendeine Teilmenge hat welche selbst induktiv ist?
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 09:38 Mi 14.05.2014 | | Autor: | hippias |
> Es gibt eine induktive Menge, welche (als Teilmenge) in
> jeder induktiven Menge enthalten ist.
> Hi,
>
> ich habe gerade ein Problem mit dieser Aufgabe. Ich soll
> sie nur unter Verwendung der ZFC Axiome lösen, weiß aber
> nicht so recht was gefragt ist.
>
> Soll ich zeigen, dass jede induktive Menge, die selbe
> induktive Menge als Teilmenge besitzt, oder dass jede
> induktive Menge irgendeine Teilmenge hat welche selbst
> induktiv ist?
Eher das erstere, wobei ich aber der urspruenglichen Formulierung aus der Aufgabenstellung den Vorzug geben wuerde.
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 09:50 Mi 14.05.2014 | | Autor: | YuSul |
Das ist die ursprüngliche Formulierung der Fragestellung.
"Beweisen Sie die folgenden Aussagen aus den Axiomen von ZFC. Welche Axiome werden jeweils benötigt?
Es gibt eine induktive Menge, welche (als Teilmenge) in jeder induktiven Menge enthalten ist."
Das war es leider.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 10:14 Mi 14.05.2014 | | Autor: | hippias |
Ja, und diese finde ich treffender als die Umformulierung in dem ersten Teil deiner Frage.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 10:20 Fr 16.05.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
