David Legrand

Inscrit depuis le 4 juillet 2006
m
→‎PàS : 4 en plus
m (== PàS ==)
m (→‎PàS : 4 en plus)
** [[Fondements des mathématiques: l'égalité]]
** [[Fondements des mathématiques:Complétude de la logique du premier ordre]]
* [[Fondements des mathématiques:Chapitre3Chapitre 3]]
* [[Fondements des mathématiques:Chapitre4Chapitre 4]]
* [[Fondements des mathématiques:Chapitre5Chapitre 5]]
* [[Fondements des mathématiques:Chapitre6Chapitre 6]]
** [[Fondements des mathématiques : une preuve naturelle de la cohérence de l'arithmétique formelle]]
** [[Fondements des mathématiques : la construction finitaire de l'ensemble des vérités]]
** [[Fondements des mathématiques : une preuve formelle de la cohérence de l'arithmétique formelle]]
** [[Fondements des mathématiques : la cohérence des théories finitaires]]
297

modifications