È la regola di inferenza: ∀nP(n)P(0)∀m≤n P(m)⟹P(n+1) Esempio di una dimostrazione di una proposizione sugli alberi binari (Cenciarelli) todo Ogni albero binario con n foglie ha n−1 nodi.
