« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) |
m mise à jour |
||
Ligne 4 :
| numéro = 8
| précédent = [[../Preuve naturelle de la cohérence de l'arithmétique formelle/]]
| suivant = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
}}
| |||