Text this: Análisis epistemológico y desarrollo de la formalización matemática en la demostración de equivalencia de los modelos planetarios Ptolemaico y Kepleriano.