Template:Individual-TLP-paragraph-fr-4.1252

4.1252 Les séries qui sont ordonnées par des relations internes, je les nomme séries de formes.

La série des nombres n'est pas ordonnée par une relation externe, mais par une relation interne.

De même la série des propositions

« aRb »,

« (∃ x) : aRx . xRb »,

« (∃ x,y) : aRx . xRy . yRb », etc.

(Si b est dans une de ces relations avec a, je nomme b un successeur de a.)