Résumé L’article rend compte d’un travail méthodologique en didactique des mathématiques, incluant principalement, d’une part la logique des prédicats et d’autre part la déduction naturelle