Zusammenfassung
Wir sahen, daß Klassenexistenz in Zermelos System, besonders wenn das Ersetzungsaxiom hinzugefügt wird, eine Frage der Größe ist. Also ϑ ∉ ϑ. Ferner ∀x( x̄ ∉ ϑ), denn sonst x ⋃ x̄ ∈ ϑ, und somit ϑ ∈ ϑ. Also ist das Universum nicht abgeschlossen im Hinblick auf die Funktionen der Booleschen Klassenalgebra. Die Boolesche Algebra überlebt nur in relativierter Form (Kapitel 33): Eine Klasse x hat als Komplement nur y ⋂ x̄ relativ zu einer beliebigen Klasse y, die an die Stelle von ϑ tritt. Dieselbe Situation trat auch in der Typentheorie auf, nur war sie dort weniger auffällig, da jeder Typ gegenüber den Booleschen Operationen abgeschlossen war und jeder Gedanke an eine Klasse, die Typen durchdringt, selbstverständlich ausgeschlossen war.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1973 Friedr. Vieweg + Sohn GmbH, Verlag, Braunschweig
About this chapter
Cite this chapter
Van Orman Quine, W. (1973). Stratifizierung und äußerste Klassen. In: Mengenlehre und ihre Logik. Logik und Grundlagen der Mathematik, vol 10. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85943-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-322-85943-3_14
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-08294-9
Online ISBN: 978-3-322-85943-3
eBook Packages: Springer Book Archive