« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions

Contenu supprimé Contenu ajouté
Balise : Révoqué
Balises : Révocation manuelle Révoqué
Ligne 208 :
 
L'ensemble de tous les ensembles définissables dans cette théorie est obtenu en appliquant toutes les constructrices de première espèce à l'ensemble vide.
 
On peut enrichir cette théorie avec un axiome de l'infini plus puissant qui autorise l'induction transfinie pour n'importe quel ordinal.
 
== Les preuves de cohérence ==