52 662
modifications
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...) |
||