Template:Individual-TLP-paragraph-es-4.1273

4.1273 Si queremos expresar la proposición general «b es un sucesor de a» en la escritura conceptual, entonces necesitamos para ello un término para el miembro general de la serie formal: aRb, (∃x) : aRx.xRb, (∃x, y) : aRx.xRy.yRb,… El miembro general de una serie formal se puede expresar solo mediante una variable, pues el concepto miembro de esta serie formal, es un concepto formal. (Esto se les ha escapado a Frege y Russell; la manera en la que ellos quieren expresar proposiciones generales como las arriba mencionadas, es por lo tanto falsa; contiene un círculo vicioso [circulus vitiosus]).

Podemos determinar el miembro general de la serie formal, dando su primer miembro y la forma general de la operación por la que, a partir de la proposición anterior, se produce el miembro siguiente.