**TI82** TxtView file generated by CalcText - Kouriû ìRecuìêÿrécurrenceSoit P(n) une proposition dépendant d'un entier n et n0 un entier fixé. Si P(n0) est vraie (Initialisation) et si pour tout entier ,n n > n0 ;P(n) => P(n+1) (hérédité), alors P(n) est vraie pour tout entier n, n> n0.ÿÑT