« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions

Fondements des mathématiques/Construction finitaire de l’ensemble des vérités (modifier)

Aucun changement de taille , il y a 14 ans

m

Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)

143 371

modifications

Version du 21 avril 2007 à 21:16 (modifier) Julien1311 (discussion \| contributions) m (cat) ← Modification précédente		Version du 9 août 2007 à 16:37 (modifier) (annuler) Crochet.david.bot (discussion \| contributions) m (Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)) Modification suivante →
== 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