La problematica del definire e del dimostrare nella costruzione di un progetto per l'insegnamento della matematica: sulla natura della matematica e sulle finalità del suo insegnamento