« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
catégorisation |
m Maintenance using AWB |
||
Ligne 4 :
| numéro = 10
| précédent = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
| suivant = [[../Second théorème d’incomplétude de Gödel et le programme de Hilbert/]]
}}
|