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

4.1273 Se quisermos exprimir, na ideografia, a proposição universal: “b é sucessor de a”, precisamos de uma expressão para o têrmo geral da série formal: aRb ; (∃x) : aRx . xRb ; (∃x, y) : aRx . xRy . yRb, ... Só é possível exprimir o têrmo universal de uma série formal por meio de uma variável, pois o conceito: membro de uma série formal, é um conceito formal. (A isso desatentaram Frege e Russell; a maneira pela qual pretendem exprimir proposições universais, como a mencionada, é por isso falsa, contendo um circulus vitiosus.)

Podemos determinar o têrmo universal da série formal dando seu primeiro têrmo e a forma geral da operação que gera o têrmo seguinte a partir da proposição precedente.