Supongamos que P (n) es un predicado donde la variable n tiene dominio el positivo, números enteros. Si P (1) es verdadero, y (∀k) ((P (1) P (2) P (k)) →P (k+1)) es verdadero, entonces (∀n) P (n) es v...Supongamos que P (n) es un predicado donde la variable n tiene dominio el positivo, números enteros. Si P (1) es verdadero, y (∀k) ((P (1) P (2) P (k)) →P (k+1)) es verdadero, entonces (∀n) P (n) es verdadero.