« 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
m
cat
m (cat)
Cela termine cette preuve de la cohérence de AF. Elle revient principalement à dire que tous les axiomes de l’arithmétique sont évidemment vrais pour les nombres entiers, ce qui n’est pas vraiment une nouvelle extraordinaire. Mais cette preuve est importante parce qu’elle prouve qu’on peut prouver la cohérence des axiomes, et donc plus généralement, la fiabilité des principes.
 
[[Catégorie:Fondements des mathématiques (livre)]]
9 251

modifications

Menu de navigation