induzione matematica: [P(0)∧(P(n)⟹P(n+1))]⟹∀n,P(n) induzione completa: [P(0) ∧ [∀x≤nP(x)]]⟹∀n, P(n) induzione sulla struttura del linguaggio Esempi dimostrazione della numerabilità con l’induzione dimostrare che dato un insieme V di n punti li possiamo collegare due a due con n(n-1) diviso 2 segmenti (si assuma n maggiore uguale a 2) induzione con definizione di funzione induzione con diagonali dei poligoni