Wollen wir den allgemeinen Satz "b ist ein Nachfolger von a"
in der Begriffsschrift ausdrücken, so brauchen wir hierzu einen Ausdruck für
das allgemeine Glied der Formenreihe: aRb,
(x) : aRx . xRb,
(x, y) : aRx . xRy . yRb, . . .
Das allgemeine Glied einer Formenreihe kann man nur durch eine Variable
ausdrücken, denn der Begriff: Glied dieser Formenreihe, ist ein
formaler Begriff. (Dies haben Frege und Russell übersehen; die
Art und Weise wie sie allgemeine Sätze, wie den obigen, ausdrücken wollen,
ist daher falsch; sie enthält einen circulus vitiosus.)
Wir können das allgemeine Glied der Formenreihe bestimmen, indem wir ihr
erstes Glied angeben und die allgemeine Form der Operation, welche das
folgende Glied aus dem vorhergehenden Satz erzeugt.