« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
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... |
|||
Ligne 4 :
| numéro = 7
| précédent = [[../Des preuves de cohérence/]]
| suivant = [[../Construction finitaire de
}}
Ligne 115 :
| idfaculté = mathématiques
| précédent = [[../Des preuves de cohérence/]]
| suivant = [[../Construction finitaire de
}}
|