Modéliser l’activité de définition : vers de nouvelles perspectives en didactique
Résumé Cet article présente une modélisation de l’activité de définition en mathématiques, en explicitant la dialectique entre définition et preuve. Bien sûr, ce travail s’inscrit