« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions

Contenu supprimé Contenu ajouté
LydieBot (discussion | contributions)
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 d'incomplétuded’incomplétude de Gödel et le programme de Hilbert/]]
}}