Wikiversité

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

Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
Julien1311 (discussion | contributions)
9 251 modifications
m cat
m Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire)
Ligne 149 :
 
== 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
Récupérée de « https://fr.wikiversity.org/wiki/Fondements_des_mathématiques/Construction_finitaire_de_l’ensemble_des_vérités »