Template:Individual-TLP-paragraph-it-4.1273

4.1273 Se vogliamo esprimere la proposizione generale «b è un successore di a» nell'ideografia, abbiamo bisogno per questo di un'espressione per il termine generale della serie formale:

a R b,

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

(∃x y) : a R x . x R y . y R b, …

Il termine generale di una serie formale può essere espresso solo mediante una variabile, poiché il concetto di termine di questa serie formale è un concetto formale. (Questo è stato trascurato da Frege e Russell; il modo in cui essi vogliono esprimere le proposizioni generali, come quella qui sopra, è perciò errato; esso contiene un circolo vizioso.)

Possiamo determinare il termine generale della serie formale indicando il suo primo termine e la forma generale dell'operazione che genera l'elemento successivo dalla proposizione precedente.