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: