Experimentos Mentais na Educação Matemática: Uma Analogia Com Provas Matemáticas FormaisWillian José da Cruz