1996 | OriginalPaper | Buchkapitel
Anhang über Logik und Mengenlehre
verfasst von : Prof. Dr. Rolf Walter
Erschienen in: Einführung in die lineare Algebra
Verlag: Vieweg+Teubner Verlag
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Vom Leser werden nur minimale Vorkenntnisse inhaltlicher Natur erwartet. In diesem Anhang stellen wir einige Voraussetzungen formalen Charakters zusammen. Auf eine strenge Behandlung muß hier verzichtet werden. Der Leser kann jedoch die Grundaussagen, die ohne Beweis angegeben werden, als Axiome auffassen. Ausführliche und gut verständliche Darstellungen findet man zur Logik bei Quine und zur Mengenlehre bei Halmos [2]. Es soll allerdings nicht verschwiegen werden, daß in diesem Zusammenhang Grundlagenfragen bestehen, die ihrer endgültigen Klärung noch harren.