« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions

m Robot : Remplacement de texte automatisé (-[“”] *([^“”]*) *[“”] +« \1 »)
(Aucune différence)