Le pricipe d'induction

Sujets abordés

Arithmétique de Péano ;
Théorème de Goodstein ;
Induction faible, induction forte, principe de bonne fondation ;
Ordres bien fondés.

Sources

David - Nour - Raffalli, Sections 3.4 et 3.6 (extraits).