Il problema dell'introduzione di elementi di logica matematica nelle scuole secondarie