« 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.
== Les preuves de cohérence ==
|