|
|
| (157 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) |
| Zeile 1: |
Zeile 1: |
| {{Qualität
| |
| |correctness = 4
| |
| |extent = 1
| |
| |numberOfReferences = 0
| |
| |qualityOfReferences = 5
| |
| |conformance = 5
| |
| }}
| |
| {{In Bearbeitung}}
| |
| [[Datei:Container_mengenlehre.png|mini|300px|Struktur eines Universums der [[Mengenlehre]] (vgl. [[Komprehension]])]]
| |
| In der [[Mathematik]] und insbesondere in der [[Logik]] und der [[Mengenlehre]] bezeichnet man die Gesamtheit aller Objekte, für die [[Aussage]]n gemacht werden, als '''Universum'''. Der [[Wahrheitswert]] einer derartigen Aussage hängt immer vom zugrundeliegenden Universum ab.
| |
|
| |
|
| Im angelsächsischem Sprachraum haben sich die Begriffe '''universe of discourse''' ('''Diskursuniversum'''), '''domain of discourse''' ('''Diskursbereich''', '''Diskursdomäne''') oder auch '''universal set''' ('''Universalmenge''') eingebürgert.
| |
|
| |
| In einem Universum gibt es meist unterchiedliche Arten von Objekten. Beispielsweise beinhaltet das Universum einer [[Geometrie|geometrischen]] [[Theorie]]
| |
| üblicherweise [[Punkt]]e, [[Gerade]]n und [[Ebene]]n. Auch in einem Universum der [[Mengenlehre]] werden mehrere Arten von Objekten unterschieden. Es gibt zumindest [[Komprehension|Individuen und Container]]. Container ({{zB}} [[Klasse]]n) fassen beliebig viele Individuen ({{zB}} [[Urelement]]e) zu einer Einheit zusammen.
| |
| Spezielle Container ({{zB}} [[Menge]]n) sind ihrerseits Individuen und können damit auch in Containern enthalten sein. Falls genügend Mengen und insbesondere die
| |
| [[leere Menge]] existieren, kann man auf Individuen auch verzichten. Auf echte Klassen, {{dh}} auf Klassen, die keine Individuen sind, kann man dagegen nicht
| |
| verzichten, da man ansonsten eine inkonsistente Mengenlehre erhält (siehe {{zB}} [[Russelsches Paradoxon]]).
| |
|
| |
| ==Definition ()==
| |
|
| |
| ==Quellen==
| |
| <references />
| |
|
| |
| ==Siehe auch==
| |
|
| |
| * [[Komprehension]]
| |
|
| |
| [[Kategorie:Logik]]
| |
