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

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

Aucun changement de taille , il y a 15 ans

m

26

modifications

Version du 28 février 2005 à 02:42 (modifier) Thierry Dugnolle (discussion \| contributions) (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) 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 →