« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
m Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) |
m Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Construction finitaire de l'ensemble des vérités vers Fondements des mathématiques/Construction finitaire de l'ensemble des vérités sans laisser de red... |
||
(Aucune différence)
| |||