Raisonnement par récurrence - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Généralisations
Le raisonnement par récurrence se généralise naturellement, sous la forme de la récurrence bien fondée indiquée ci-dessus, aux ensembles sur lesquels on peut définir un bon ordre, voir nombre ordinal et récurrence transfinie, ou simplement une relation bien fondée.
On peut le généraliser pour démontrer non plus des propriétés universelles sur les entiers naturels, mais par exemple sur les suites d'entiers ou sur les fonctions des entiers vers les entiers.
