Non-quantity

In formal logic, more precisely the set theory (in the formal ontology ), one is not quantity (Engl. Nonset) an object that no amount is. Every non-quantity is a primal element .

properties

${\ displaystyle \ forall \ left (T \ in {\ mbox {Non-quantities}} \ right): \ neg \ exists \ left (x \ right): \ left (x \ in T \ right)}$	A non-set has no elements.
${\ displaystyle \ emptyset \ notin {\ mbox {non-quantities}}}$	The empty set is not a non-set .

Examples

physical objects (e.g .: cup )
Water , gases
Processes (e.g .: 100-meter run, course of illness)
Symbols

literature

James Van Aken: Axioms for the Set-Theoretic Hierarchy , in: Journal of Symbolic Logic, Vol. 51, No. 4: 992-1004 (1986)
Wolfgang Stegmüller : An axiomatization of set theory, based on the systems of Bernays and Quine , in: Käsbauer, M. / Kutschera, FV (ed.): Logic and logic calculus. Festschrift for the 70th birthday of W. Britzelmeyer. Freiburg - Munich 1962.

Web links

Dieter Wandschneider : On the antinomy problem of logic (pdf) (in: Ratio 1974)