« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-<sub>4</sub> +₄) |
m Bot : Remplacement de texte automatisé (-<sub>5</sub> +₅) |
||
Ligne 16 :
:<code>a(rttx)asss(rttx)a(rnon)a(ret)b(a(r=)b(rx)sss(rx))a(rnon)a(r=)b(a(rs)(rx))a(rs)sss(rx)</code>
Il faut prouver que ''AF₁'' est dans ''VAF''. Montrons qu’il est dans ''
:''
Montrons que ''AF₁'' est dans tt-V-Prod(''AAF₄'', ''VAF₄'', ''FAF₄'')
|