Text this: Sobre una definición de cardinales finitos en un topos arbitrario