« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m Maintenance using AWB |
maintenance |
||
Ligne 95 :
| idfaculté = mathématiques
| précédent = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
| suivant = [[../Second théorème
}}
|