« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions

m
Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat...
(catégorisation)
m (Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat...)
| idfaculté = mathématiques
| numéro = 9
| précédent = [[../Construction finitaire de l'ensemblel’ensemble des vérités/]]
| suivant = [[../Cohérence des théories finitaires/]]
}}
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../Construction finitaire de l'ensemblel’ensemble des vérités/]]
| suivant = [[../Cohérence des théories finitaires/]]
}}
143 371

modifications