Formalismo e Demonstrações na Aprendizagem de Matemática