La problematica del definire e del dimostrare nella costruzione di un progetto per l'insegnamento della matematica