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.
Eigenschaften Bearbeiten
| Eine Nichtmenge hat keine Elemente. | |
| Die leere Menge ist keine Nichtmenge. |
Beispiele Bearbeiten
Literatur Bearbeiten
- 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 Bearbeiten
- Dieter Wandschneider: Zum Antinomienproblem der Logik (pdf) (in: Ratio 1974)