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

Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle (modifier)

Aucun changement de taille , il y a 10 ans

m

52 662

modifications

Version du 5 février 2012 à 20:35 (modifier) Crochet.david.bot (discussion \| contributions) m (Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2)) ← Modification précédente		Version du 25 juin 2012 à 06:37 (modifier) (annuler) Lydie Noria (discussion \| contributions) m (Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle vers Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle...) Modification suivante →