« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions

Aller à la navigation Aller à la recherche
wikification
m (Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Preuve naturelle de la cohérence de l'arithmétique formelle vers [[Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle...)
(wikification)
{{Chapitre
|niveau=11
| titre = Preuve naturelle de la cohérence de l'arithmétique formelle
| idfaculté = mathématiques
| numéro = 7
| précédent = [[../Des preuves de cohérence/]]
| suivant = [[../Construction finitaire de l'ensemble des vérités/]]
}}
 
Cette section expose des axiomes pour l’arithmétique formelle et une preuve naturelle de leur cohérence.
 

Menu de navigation