Discussion:Théorème d'élimination des coupures
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[modifier le code]
Cette 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)