Text this: Una propuesta de formalización del principio de conservación de la energía desde la perspectiva de Mayer