Nichtmenge

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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

Eine Nichtmenge hat keine Elemente.
Die leere Menge ist keine Nichtmenge.
  • physikalische Gegenstände (z. B.: Tasse)
  • Wasser, Gase
  • Prozesse (z. B.: 100-Meter-Lauf, Verlauf einer Krankheit)
  • Symbole
  • 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.