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

 

== La construction finitaire de l’ensemble des vérités à partir d’un modèle ==

== Une preuve formelle de la cohérence de l’arithmétique formelle ==

[[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]]