Lexikon der Argumente

 

VII (e) 97
Universum/v.Neumann/Mengenlehre/Quine: teilt das Universum (of discourse) in Dinge, die Elemente sein können und solche, die es nicht sein können.
Das, was für Zermelo existiert, sind v. Neumanns Elemente.
Für die Existenz von Klassen, Elementen und anderem gibt es weitere Postulate, die jeder Bedingung φ genügt, deren gebundenen Variablen auf Elemente als Werte beschränkt sind.
- - -
IX 221
Universum/Quine: wir erhalten unser erweitertes Universum, indem wir äußerste Klassen zu dem Universum von NF hinzufügen. Das resultierende System ist eine Vergrößerung des Systems von New Foundations nennen - wir können nicht das alte Komprehensionsschema von New Foundations ("x: Fx} ε ϑ" (Fx stratifiziert)") beibehalten. Denn z.B. "{x: x = x}" wird jetzt falsch. ((s) weil nicht stratifiziert).