Per una didattica dell'inclusione. Prove di formalizzazione