David Legrand

Inscrit depuis le 4 juillet 2006
1 199 octets supprimés ,  il y a 15 ans
m
→‎PàS : vidange
m (→‎PàS : 4 en plus)
m (→‎PàS : vidange)
 
== PàS ==
* [[Fondements des mathématiques:Chapitre1]]
* [[Fondements des mathématiques:Chapitre2]]
** [[Fondements des mathématiques:Grammaire des prédicats]]
** [[Fondements des mathématiques:Déduction naturelle]]
** [[Fondements des mathématiques: d'autres formulations des principes de la logique du premier ordre]]
** [[Fondements des mathématiques: les logiques d'ordre supérieur]]
** [[Fondements des mathématiques:Théorie des modèles]]
** [[Fondements des mathématiques: les définitions]]
** [[Fondements des mathématiques: l'égalité]]
** [[Fondements des mathématiques:Complétude de la logique du premier ordre]]
* [[Fondements des mathématiques:Chapitre 3]]
* [[Fondements des mathématiques:Chapitre 4]]
* [[Fondements des mathématiques:Chapitre 5]]
* [[Fondements des mathématiques:Chapitre 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