Logica, linguaggio e didattica della matematica