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