Die Theorie der Aggregate sucht das Unendliche auf eine allgemeinere Art zu fassen als die Theorie der Vorschriften etc. Sie sagt daß das wirklich Unendliche mit dem arithmetischen Symbolismus überhaupt nicht zu fassen ist & daß es also nur beschrieben & nicht erfaßt werden kann. Die Beschreibung würde es etwa so erfassen wie man eine Menge Dinge, die man nicht alle in den Händen halten kann in einer Kiste verpackt trägt. Sie sind dann unsichtbar & doch wissen wir daß wir sie tragen (sozusagen indirekt). Die Theorie der Aggregate kauft gleichsam die Katze im Sack. Soll sich's das Unendliche in dieser Kiste einrichten wie es will.
Darauf beruht auch die Idee daß man logische Formen mit der Sprache beschreiben kann. In so einer Beschreibung werden die Strukturen & etwa zuordnende Relationen etc. verpackt || in verpacktem Zustand präsentiert || vorgeführt & so sieht es allerdings aus als könnte man von einer Struktur reden ohne sie in dem Satz selber wiederzugeben. Derart verpackte also ihrer Struktur nach unkenntliche Begriffe dürfen wir allerdings verwenden aber sie (setzen immer) Definitionen (voraus) || haben ihre Bedeutung über Definitionen die eben die Begriffe solchermaßen verpacken || einpacken & gehn wir nun rückwärts durch diese Definitionen so werden die Begriffe wieder ausgepackt & sind so in ihrer Struktur vorhanden.