induzione completa

È la regola di inferenza:

$$\frac{P(0)\forall m\le nP(m)⟹P(n+1)}{\forall nP(n)}$$

Esempio di una dimostrazione di una proposizione sugli alberi binari (Cenciarelli)

Ogni albero binario con $n$ foglie ha $n-1$ nodi.