kardinalzahlen < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:51 Mo 19.01.2009 | | Autor: | AriR |
hey leute,
dass jede menge ein kardianlzahl besitzt folgt doch aus dem auswahlaxiom oder sehe ich da irgendwas falsch?
wenn man zb begründen möchte, das eine mengen M die objekte beliebiger kardinalität enthält nicht existiert, begründet man das doch dann demnach mit dem vereinigungsaxiom und auswahlaxiom indem man sagt:
man betrachtet die vereinigung M' der elemente der menge M welches nach dem vereinigungsaxiom wieder eine menge sein müsste. demnach könnte man M' eine kardinalität k' zuordnen (auswahlaxiom), aber da M objekte beliebiger kardinalität enthält, gibts ein [mm] {m\in M} [/mm] mit der kardinalität [mm] k\ge [/mm] k' WIDERSPRUCH
ist das so richtig?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Di 27.01.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
