Version du 28 février 2005 à 02:42 modifier Thierry Dugnolle (discussion \| contributions) 2 modifications une preuve naturelle de la cohérence de l'arithmétique formelle		Version du 29 octobre 2006 à 21:07 modifier annuler David Legrand (discussion \| contributions) 26 modifications m Fondements des mathématiques : une preuve naturelle de la cohérence de l'arithmétique formelle déplacé vers Fondements des mathématiques/Des preuves de cohérence/Preuve naturelle de la cohérence de l'arithmétique formelle: Tentative de r� Modification suivante →
(Aucune différence)

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