« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 246 :
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
== Les preuves de cohérence ==
|