Describir: Principios y conclusiones en una axiomatización de la astronomía de Acerca del cielo I de Aristóteles