induzione

• induzione matematica: $[P(0)\wedge (P(n)⟹P(n+1))]⟹\forall n,P(n)$
• induzione completa: $[P(0)\wedge [\forall x\le nP(x)]]⟹\forall n,P(n)$
• induzione sulla struttura del linguaggio