52 661
modifications
« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Fondements des mathématiques/Construction finitaire de l’ensemble des vérités (modifier)
Version du 24 octobre 2012 à 04:33
, il y a 9 anscatégorisation
m (mise à jour) |
(catégorisation) |
||
|
| suivant = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
}}
| |||