Was ist ein Aggregat von Punkten? Können wir nicht doch ein unendliches Aggregat als solches gleichsam von außen beschreiben? Indem wir – allgemein – sagen, daß jedes Element 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 gefaßt? Denn scheinbar ist sie durch lauter endliche Begriffe dargestellt. Oder kommt hier die Unendlichkeit dadurch in meinen Satz, dadurch daß ich sagen muß, daß kein Element der Nachfolger seines Vorfahren sein kann?
     Wie ist der Satz “a ist der Vorfahre von b” darzustellen?
     aRb . ⌵ . (∃x)aRx . & . xRb . ⌵ . (∃x,y)aRx . & . xRy . & . yRb . ⌵ . etc.
     Steht am Ende dieser Reihe nicht daß “ad inf.” dann beschreibt auch der Satz keine unendliche Reihe. Aber eine unendliche logische Summe ist ein Unsinn.