4.1273

If we want to express in logical symbolism the general proposition “b is a successor of a” we need for this an expression for the general term of the formal series:

« 4.12721 4.1274 »