Per ogni fbf P(n): Se per ogni naturale n vale che se P(k) vale per ogni k < n allora vale P(n), allora P(n) vale per ogni naturale n
$$ \forall x((\forall k (k<n\rightarrow P(k)))\rightarrow P(n))\rightarrow\forall n P(n) $$
