I linguaggi della matematica a scuola. Riflessioni di un logico