« 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
Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)
m (cat)
m (Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire))
 
== La représentation des prédicats arithmétiques ==
L’ensemble des prédicats, c’est -à -dire les formules qui contiennent des variables libres, est défini par induction sur la complexité des formules.
 
PAF(n) est l’ensemble des prédicats de degré n
143 371

modifications

Menu de navigation