« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
m mise à jour |
catégorisation |
||
Ligne 117 :
| suivant = [[../Construction finitaire de l'ensemble des vérités/]]
}}
| |||