Récurrence transfinie - 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.
Récurrence noetherienne ou bien fondée
La récurrence transfinie est un cas particulier de la récurrence noetherienne ou bien fondé, dans laquelle l'ordre bien fondé est bien ordonné, autrement dit total et bien fondé ; la récurrence noethérienne s'énonce ainsi : « si [(pour tout β < α,
