Il sussistere d'una relazione interna tra possibili situazioni esprime sé
linguisticamente attraverso una relazione interna tra le proposizioni che le
rappresentano.
4.1251 E qui s'elimina la controversia "se tutte le
relazioni siano interne o esterne".
4.1252 Serie che
siano ordinate da relazioni interne le chiamo serie di forme.
La serie dei numeri è ordinata non
secondo una relazione esterna, ma secondo una relazione interna.
E così la serie delle proposizioni
"aRb",
"(x) : aRx . xRb",
"(x, y) : aRx . xRy . yRb",
e così via.
(Se b sta in una di queste relazioni
ad a, chiamo b un successore di a.)