297
modifications
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:
* [[Fondements des mathématiques:
* [[Fondements des mathématiques:
* [[Fondements des mathématiques:
** [[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]]
| |||