Template:Individual-TLP-paragraph-it-4.1252

4.1252 Chiamo serie formali quelle serie che sono ordinate attraverso relazioni interne.

La serie dei numeri non è ordinata secondo una relazione esterna, ma secondo una relazione interna.

Analogamente la serie delle proposizioni

«a R b»,

«(∃x) : a R x . x R b»,

«(∃x, y) : a R x . x R y . y R b», e così di seguito.

(Se b sta in una di queste relazioni ad a, allora chiamo b un successore di a.)