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.)