« Fondements des mathématiques/Des preuves de cohérence » : différence entre les versions

Contenu supprimé Contenu ajouté
Julien1311 (discussion | contributions)
m modèle
Julien1311 (discussion | contributions)
Ligne 99 :
Cette page expose des axiomes pour l’arithmétique formelle et une preuve naturelle, connue des logiciens, de la cohérence de ces axiomes.
 
[[{{Loupe|Fondements des mathématiques/Des preuves de cohérence/Preuve naturelle de la cohérence de l'arithmétique formelle|{{!}}Une preuve naturelle de la cohérence de l’arithmétique formelle]] }}
 
=== Les axiomes de l’arithmétique formelle ===