Aide à la recherche   Requête : "théorème d'élimination des coupures"

1	2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
2	1980 Les démonstrations de cohérence de l'arithmétique.