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

une preuve naturelle de la cohérence de l'arithmétique formelle
(une preuve naturelle de la cohérence de l'arithmétique formelle)
(Aucune différence)
2

modifications