Induction mathématique
L’induction mathématique est une forme spéciale de raisonnement déductif qui prouve un fait sur un ensemble infini d’éléments en prenant un nombre fini d’étapes. Pour que l’induction mathématique fonctionne avec un ensemble infini, cet ensemble doit être dénombrable, c’est-à-dire qu’une correspondance biunivoque doit exister entre les éléments de l’ensemble en question et l’ensemble des entiers … Lire la suite