Induccin es con variable libre x.

Si

, con P(x) una frmula pero la propiedad que quieres demostrar por

induccin, P(x), falla para algn x, el conjunto es no vaco, y por el buen orden de tiene un mnimo. Ahora bien, ese mnimo no puede ser 0 (ya que por hiptesis P(0) ). Por tanto el mnimo de A es de la forma a+1 para algn a, pero como a+1 es el mnimo para el que se tiene P(x) se cumple P(a) y por hiptesis tambin P(a+1), contradiccin.