       Was ist ein Aggregat von Punkten? Können wir nicht doch ein unendliches Aggregat als solches gleichsam von aussen beschreiben? Indem wir – allgemein – sagen, dass jedes Eleme[t|n]t einen Nachfolger hat, der nicht es selbst, oder einer seiner Vorgänger ist? Ist damit nicht eine wirkliche Unendlichkeit beschrieben, ob dieser nun etwas entspricht oder nicht. Und wie ist hier die Unendlichkeit gefasst? Denn scheinbar ist sie durch alauter endliche Begriffe dargestellt. Oder kommt hier die Unendlichkeit dadurch in meinen Satz, dadurch dass ich sagen muss, dass kein Element der Nachfolger seines Vorfahren sein kann?
        Wie ist der Satz “a ist der Vorfahre von b” darzustellen?
        aRb . V . (Ex)aRx . & . xRb . V . (Ex,y)aRx . & . xRy . & . yRb . V . etc.
        Steht am Ende dieser Reihe nicht dass “ad inf.” dann beschreibt auch der Satz keine unendliche Reihe. Aber eine unendliche logische Summe ist ein Unsinn.

✓ / \

(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.