« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
m Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) |
m Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Preuve naturelle de la cohérence de l'arithmétique formelle vers [[Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle... |
||
(Aucune différence)
| |||