Template:Individual-TLP-paragraph-pt-br-4.1252

4.1252 Às séries ordenadas por relações internas chamo de séries formais.

A série dos números não se ordena segundo uma relação externa, mas segundo uma relação interna.

Da mesma maneira, a série de proposições “aRb”,

“(∃x) : aRx . xRb”,

“(∃x, y) : aRx . xRy . yRb”, e assim por diante.

(Estando b numa dessas relações com a, chamo-lhe de sucessor de a.)