52 662
modifications
« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Aller à la navigation
Aller à la recherche
m
Fondements des mathématiques/Construction finitaire de l’ensemble des vérités (modifier)
Version du 24 octobre 2012 à 04:31
, il y a 9 ansmise à jour
m (Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1)) |
m (mise à jour) |
||
|
| numéro = 8
| précédent = [[../Preuve naturelle de la cohérence de l'arithmétique formelle/]]
| suivant = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
}}
| |||