Die Mengenlehre sucht das Unendliche auf eine allgemeinere Art zu fassen, als es die Untersuchung der Gesetze der reellen Zahlen kann. Sie sagt, dass das wirklich Unendliche mit dem mathematischen Symbolismus

748

überhaupt nicht zu fassen ist, und dass es also nur beschrieben und nicht dargestellt werden kann. Die Beschreibung würde es etwa so erfassen, wie man eine Menge von Dingen, die man nicht alle in der Hand halten kann, in einer Kiste verpackt trägt. Sie sind dann unsichtbar, und doch wissen wir, dass wir sie tragen (gleichsam indirekt). Man könnte von dieser Theorie sagen, sie kaufe die Katze im Sack. Soll sich's das Unendliche in seine Kiste einrichten, wie es will.
Darauf beruht auch die Idee, dass man logische Formen beschreiben kann. In so einer Beschreibung werden die Strukturen und etwa zuordnende Relationen in verpacktem Zustand

gezeigt
präsentiert

// … werden uns die Strukturen in einer Verpackung gezeigt, die ihre Form unkenntlich macht // und so sieht es aus, als könne man von einer Struktur reden, ohne sie in der Sprache selber w[k|i]ederzugeben. So verpackte Begriffe dürfen wir allerdings verwenden, aber unsere Zeichen haben ihre Bedeutung dann über Definitionen, die eben die Begriffe // Strukturen // so verhüllt haben; und gehen wir diesen Definitionen nach, so werden die Strukturen wieder enthüllt. (Vergl. Russells Definition von “R_x”.)

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.