Ouvrir le menu principal
Accueil
Au hasard
Se connecter
Configuration
Faire un don
À propos de Wikiversité
Avertissements
Wikiversité
Rechercher
« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Page
Discussion
← Modification précédente
Modification suivante →
Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle
(modifier)
Version du 7 août 2012 à 18:18
77 octets supprimés
,
il y a 9 ans
m
Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1)
Version du 3 août 2012 à 17:24
(
modifier
)
Lydie Noria
(
discussion
|
contributions
)
(wikification)
← Modification précédente
Version du 7 août 2012 à 18:18
(
modifier
)
(
annuler
)
Crochet.david.bot
(
discussion
|
contributions
)
m
(Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1))
Modification suivante →
{{Chapitre
| niveau = 16
| titre = Preuve formelle de la cohérence de l'arithmétique formelle
| idfaculté = mathématiques
| numéro = 9
Crochet.david.bot
Robots
143 371
modifications