imported>Frank63: typo

2019-04-25T14:16:47Z

typo

Neue Seite

In der formalen Logik, genauer der [[Mengenlehre]] (auch in der [[Formale Ontologie|formalen Ontologie]]), ist eine '''Nichtmenge''' (engl. nonset) ein Objekt, das keine [[Menge (Mathematik)|Menge]] ist. Jede Nichtmenge ist ein [[Urelement]].

== Eigenschaften ==

{|
|<math>\forall \left( T \in \mbox{Nichtmengen} \right):\neg \exists \left( x \right):\left( x \in T \right)</math>
||Eine Nichtmenge hat keine Elemente.
|-
|<math>\emptyset \notin \mbox{Nichtmengen}</math>
||Die [[leere Menge]] ist keine ''Nichtmenge''.
|}

== Beispiele ==

* physikalische Gegenstände (z. B.: [[Tasse]])
* [[Wasser]], [[Gas]]e
* Prozesse (z. B.: 100-Meter-Lauf, Verlauf einer Krankheit)
* [[Symbol]]e

== Literatur ==
* James Van Aken: ''Axioms for the Set-Theoretic Hierarchy'', in: Journal of Symbolic Logic, Vol. 51, No. 4 (1986), 992–1004
* [[Wolfgang Stegmüller]]: ''Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine'', in: Käsbauer, M. / Kutschera, F. V. (Hrsg.): Logik und Logikkalkül. Festschrift zum 70. Geburtstag von W. Britzelmeyer. Freiburg – München 1962.

== Weblinks ==
* [[Dieter Wandschneider]]: [http://www.philosophie.rwth-aachen.de/global/show_document.asp?id=aaaaaaaaaabpjwn ''Zum Antinomienproblem der Logik''] (pdf) (in: Ratio 1974)

[[Kategorie:Mengenlehre]]
[[Kategorie:Ontologie]]

Nichtmenge - Versionsgeschichte

imported>Frank63: typo