Discussion:Théorème d'élimination des coupures
Dernier commentaire : il y a 6 ans par Philibre dans le sujet Erreur dans l'introduction
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Cut-elimination theorem » dans sa version du 12/09/2016.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Erreur dans l'introduction
modifierCette phrase de l'introduction de l'article n'est pas claire, il manque au moins un mot (adjectif ?) après « la règle de coupure » :
« Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, qui rend l'utilisation de la règle de coupure (???) possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure. »
--Philibre. (discuter) 24 novembre 2017 à 15:17 (CET)