Wikiversité

« Fondements des mathématiques/Des preuves de cohérence » : 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 lien
Julien1311 (discussion | contributions)
9 251 modifications
Ligne 109 :
 
== Une preuve formelle de la cohérence de l’arithmétique formelle ==
[[{{Loupe|Fondements des mathématiques/Des preuves de cohérence/Preuve formelle de la cohérence de l'arithmétique formelle|{{!}}Une preuve formelle de la cohérence de l’arithmétique formelle]]}}
 
== La cohérence des théories des ensembles finitaires ==
[[Fondements des mathématiques/Des preuves de cohérence/Cohérence des théories finitaires|La cohérence des théories des ensembles finitaires]]
Récupérée de « https://fr.wikiversity.org/wiki/Fondements_des_mathématiques/Des_preuves_de_cohérence »