Aller au contenu

Algèbre/Démontrer le théorème de récurrence

Un livre de Wikilivres.

Soit P une proposition dans . On a :

on a

Démonstration

[modifier | modifier le wikicode]

Soit P une proposition et un ensemble

On a :

et On peut dire que vérifie l'axiome de récurrence et que .

On a donc démontré que :

est vrai

Ce théorème est le théorème de récurrence