Historique de la page

Aller à la navigation Aller à la recherche

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

17 mai 2018

Thierry Dugnolle
→‎Les axiomes de l’arithmétique formelle
08:00
−1

1 août 2017

Crochet.david.bot
Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)
m
15:05
+2

26 mars 2017

Sarthres
Amélioration de la syntaxe de l'article.
m
14:02
+453

16 mai 2016

Crochet.david.bot
Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat...
m
16:33
+4

4 février 2016

79.95.9.46
→‎Les axiomes de l’arithmétique formelle
17:00
+1

24 octobre 2012

7 août 2012

Crochet.david.bot
Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1)
m
18:17
−78

3 août 2012

Lydie Noria
wikification
17:19
+186

25 juin 2012

5 février 2012

Crochet.david.bot
Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2)
m
20:35
−2

2 janvier 2011

Crochet.david.bot
Robot : Changement de type cosmétique
m
17:07
+4

27 décembre 2008

Crochet.david.bot
Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…)
m
11:05
−34

17 avril 2008

Crochet.david.bot
Bot : Remplacement de texte automatisé (-... +…)
m
08:26

9 août 2007

Crochet.david.bot
Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)
m
16:36

21 avril 2007

12 février 2007

imported>Tavernierbot
Robot : ajoute Catégorie:Fondements_des_mathématiques (livre)
m
22:02
+54

17 novembre 2006

imported>Tavernierbot
Bot: Retouches cosmétiques
m
14:51
−1

29 octobre 2006

David Legrand
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�
m
21:07

28 février 2005

Thierry Dugnolle
une preuve naturelle de la cohérence de l'arithmétique formelle
02:42
+6 591

Récupérée de « https://fr.wikiversity.org/wiki/Spécial:History/Fondements_des_mathématiques/Preuve_naturelle_de_la_cohérence_de_l%27arithmétique_formelle »