Text this: Revisión crítica de las concepciones sobre la demostración matemática : una metodología para resignificar su comprensión y conceptualización desde el formalismo y el logicismo