4.1252
Reihen, welche durch interne Relationen geordnet sind, nenne ich Formenreihen. Die Zahlenreihe ist nicht nach einer externen, sondern nach einer internen Relation geordnet. Ebenso die Reihe der Sätze „aRb“, „(∃x):aRx.xRb“, „(∃x,y):aRx.xRy.yRb“, u. s. f. (Steht b in einer dieser Beziehungen zu a, so nenne ich b einen Nachfolder von a.)