David Legrand

Inscrit depuis le 4 juillet 2006
1 327 octets supprimés ,  il y a 15 ans
m
→‎À ranger : fondements des maths ==> rangé
m (→‎PàS : vidange)
m (→‎À ranger : fondements des maths ==> rangé)
* [[Faculté de Mathématiques/Vocabulaire et notations indispensables]]
* [[Faculté de Mathématiques/Équation du premier degré]]
* [[Fondements des mathématiques:Complétude de la logique du premier ordre]]
* [[Fondements des mathématiques:Déduction naturelle]]
* [[Fondements des mathématiques:Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables]]
* [[Fondements des mathématiques:Grammaire des prédicats]]
* [[Fondements des mathématiques:Théorie des modèles]]
* [[Fondements des mathématiques:Théorèmes fondamentaux de l’énumérabilité et de l’indécidabilité]]
* [[Fondements des mathématiques: d'autres formulations des principes de la logique du premier ordre]]
* [[Fondements des mathématiques: l'égalité]]
* [[Fondements des mathématiques: les définitions]]
* [[Fondements des mathématiques: les logiques d'ordre supérieur]]
* [[Fondements des mathématiques : La négation dans les prédicats finitaires]]
* [[Fondements des mathématiques : l'énumérabilité selon Smullyan]]
* [[Fondements des mathématiques : la cohérence des théories finitaires]]
* [[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 : une preuve naturelle de la cohérence de l'arithmétique formelle]]
* [[Formules de dérivation]]
* [[Mathématiques niveau seconde/Calculs]]
297

modifications