« Fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
m Autoformatage, retrait de la clé de tri |
m 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... |
||
Ligne 11 :
| 6 = {{C|Des preuves de cohérence|0|16}}
| 7 = {{C|Preuve naturelle de la cohérence de l'arithmétique formelle|0|16}}
| 8 = {{C|Construction finitaire de
| 9 = {{C|Preuve formelle de la cohérence de l'arithmétique formelle|0|16}}
| 10 = {{C|Cohérence des théories finitaires|0|16}}
| |||