Go backward to Example Go up to Top Go forward to Example

Complete Induction

Generalization of the induction principle:

Proposition: In order to prove

forall x in N: F

(forall x in N: (forall n < x: F[x <- n]) => F).

1. Induction Hypothesis. We take arbitrary x in N and assume

   forall n < x: F[x <- n].

2. Induction Step: We show F.