Gravar e-mail: CONSISTENCIA, NO TRIVIALIDAD Y REDUNDANCIA EN MATEMÁTICA