« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Balises : Révocation manuelle Révoqué |
Annulation des modifications 660065 de Thierry Dugnolle (discussion) Balise : Annulation |
||
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 ==
|