Anhang über Logik und Mengenlehre

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.