Si abbia una famiglia di proposizioni FK associate ai numeri naturali
k = 1, 2, 3, ... ;
- si sappia che la proposizione F1 è vera ;
- si ammetta per vera la k-esima proposizione ;
- si dimostri, con il procedimento iterativo che genera la famiglia F, che da b) segue la verità della (k + 1)-esima proposizione ;
- si conclude che la FK vale qualunque sia il numero naturale k.
|