proposition
est un énoncé mathématique complet qui est soit vrai soit
faux. Initialisation :
P_n est vraie pour l’entier n_0;Hérédité :
pour tout entier naturel k \leq
n_0, «\mathcal{P}_k est vraie.» implique \mathcal{P}_{k+1} est vraie.