« Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle » : historique des versions


Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure

11 octobre 2020

28 janvier 2010

13 février 2007

17 novembre 2006

29 octobre 2006

2 mars 2005