induction mathématique
- Domaine
-
- philosophie
Définition :
Nom parfois appliqué au raisonnement par récurrence.
Note :
Pour établir qu'une proposition est valable pour une classe infinie d'objets, on démontre d'abord qu'elle est vraie pour n = 1 et de même qu'elle est vraie pour n = x + 1, si elle l'est pour n = x.
Terme :
- induction mathématique n. f.