52 662
modifications
« 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
Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle (modifier)
Version du 25 juin 2012 à 06:59
, il y a 10 answikification
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.
| |||