Menge (Mengenlehre): Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 13: | Zeile 13: | ||
Eine {{Menge}} ist eine spezielle {{Klasse}}: Jede {{Klasse}}, die Element einer beliebigen {{Klasse}} ist, wird als {{Menge}} bezeichnet. (Klassen, die kein Element einer anderen Klasse sind, heißen [[Unmenge]]n.) | Eine {{Menge}} ist eine spezielle {{Klasse}}: Jede {{Klasse}}, die Element einer beliebigen {{Klasse}} ist, wird als {{Menge}} bezeichnet. (Klassen, die kein Element einer anderen Klasse sind, heißen [[Unmenge]]n.) | ||
== | ==Bemerkung== | ||
Die Unterscheidung zwischen {{Menge}}n und [[Unmenge]]n in der [[Klassen]]theorie | Die Definition des Begriffes {{Klasse}} unterscheidet sich in zwei wesentlichen Punkten von Cantors Definition: | ||
(siehe dort). | |||
# {{Klasse}}n fassen nicht mehr beliebige „Objekte unserer Anschauung und unseres Denkens“ zusammen, sondern nur noch solche, die keine [[Unmenge]]n sind. | |||
# {{Klasse}}n werden formal gar nicht definiert. Es werden nur deren Eigenschaften axiomatisch beschrieben. | |||
ad 1) Die Unterscheidung zwischen {{Menge}}n und [[Unmenge]]n in der [[Klassen]]theorie wurde eingeführt, um die [[Russelsche Antinomie]] zu beheben (siehe dort). | |||
ad 2) Die axiomatische Definition von Objekten ist in der Mathematik weit verbreitet. Zum Beispiel werden geometrische Objekte wie Punkte, Geraden etc. meist auf diese Weise eingeführt. | |||
=Quelle= | =Quelle= | ||
Version vom 10. Juli 2006, 18:01 Uhr
Ursprüngliche Definition nach Cantor (1895)
Unter einer Menge verstehen wir jede Zusammenfassung $ M $ von bestimmten wohlunterscheidbaren Objekten $ m $ unserer Anschauung und unseres Denkens (welche Elemente von $ M $ genannt werden) zu einem Ganzen.
Bemerkung
Diese Definition führt zu einer Antinomie, d.h. auf ein logisches Paradoxon, das erstmalls von Russel beschrieben wurde: die Russelsche Antinomie.
Definition gemäß der Klassentheorie
Eine Menge ist eine spezielle Klasse: Jede Klasse, die Element einer beliebigen Klasse ist, wird als Menge bezeichnet. (Klassen, die kein Element einer anderen Klasse sind, heißen Unmengen.)
Bemerkung
Die Definition des Begriffes Klasse unterscheidet sich in zwei wesentlichen Punkten von Cantors Definition:
- Klassen fassen nicht mehr beliebige „Objekte unserer Anschauung und unseres Denkens“ zusammen, sondern nur noch solche, die keine Unmengen sind.
- Klassen werden formal gar nicht definiert. Es werden nur deren Eigenschaften axiomatisch beschrieben.
ad 1) Die Unterscheidung zwischen Mengen und Unmengen in der Klassentheorie wurde eingeführt, um die Russelsche Antinomie zu beheben (siehe dort).
ad 2) Die axiomatische Definition von Objekten ist in der Mathematik weit verbreitet. Zum Beispiel werden geometrische Objekte wie Punkte, Geraden etc. meist auf diese Weise eingeführt.
Quelle
Schwichtenberg, Mathematische Logik, 2000
