Negare in matematica: una classificazione dal punto di vista cognitivo