Induktions beviser:

 

Udgangspunkt er et udsagn af itterativt/recursivt natur.

Beviset består af tre trin:

1. Basistrinnet.

Find det simpleste tilfælde og bevis at udsagnet holder for dette.

2. Antag at udsagnet holder for et simplere tilfælde end n (typisk n-1)

Herudfra bevises at det så holder for n

3. Argumenter udfra basis og beviset i trin 2, at det så gælder for n