Template:Individual-TLP-paragraph-fr-4.1273

4.1273 Si nous voulons exprimer dans l'idéographie la proposition générale : « b est un successeur de a », nous avons alors besoin d'une expression pour le terme général de la série de formes :

aRb,

(∃x) : aRx . xRb,

(∃ x,y) : aRx . xRy . yRb...

Le terme général d'une série de formes ne peut être exprimé que par une variable, car le concept de terme de cette série de formes est un concept formel. (Ce qui a échappé à Frege et Russell ; la manière dont ils veulent exprimer des propositions générales comme celles de l'exemple ci-dessus est par conséquent fausse ; elle renferme un cercle vicieux.)

Nous pouvons déterminer le terme général d'une série de formes en donnant son premier terme et la forme générale de l'opération qui produit le terme suivant à partir de la proposition précédente.