Principio di induzione

Sia $P(n)$ una proprietà su $n$

Per $n_0$ $\in \mathbb N_0$, se:

• $P(n_0)$ è vera
• $P(n_0)$ è vera $\Rightarrow P(n+1)$ è vera per $n \ge n_0$

Allora $P(n)$ è vera $\forall n \ge n_0$