Accueil
Au hasard
Se connecter
Configuration
Faire un don
À propos de Wikiversité
Avertissements
Rechercher
« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Langue
Suivre
Modifier
Navigation interactive dans l’historique
Modification suivante →
Version du 1 mars 2005 à 22:10
modifier
Thierry Dugnolle
(
discussion
|
contributions
)
2
modifications
Création
Version du 29 octobre 2006 à 21:08
modifier
annuler
David Legrand
(
discussion
|
contributions
)
26
modifications
m
Fondements des mathématiques : une preuve formelle de la cohérence de l'arithmétique formelle
déplacé vers
Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle
: Tentative de réu
Modification suivante →
(Aucune différence)