Sommige beweringen hebben de vorm:

Voor alle waarden van `n` vanaf `n_0` , waarbij `n ∈ NN` geldt...

Deze beweringen kun je soms bewijzen met behulp van volledige inductie. Inductie betekent: vanuit het bijzondere het algemene afleiden.

Het werkt als volgt:

• Je bewijst dat de bewering waar is voor `n=n_0` .
  (Het bijzondere: je duwt de eerste steen om.)

• Je bewijst dat voor elke `n ge n_0` geldt:
  Als de bewering waar is voor `n` , dan is hij ook waar voor `n+1` .
  (Het algemene: als de eerste steen omvalt, gaat de rest ook om.)