Abstract
En Acerca del cielo I se encuentran cuatro pruebas fundamentales de la cosmología aristotélica, a saber: la prueba de la existencia del éter, la prueba de la finitud del universo, la prueba de su unicidad y la prueba de su ingenerabilidad e incorruptibilidad. Ofrecemos una reconstrucción parcial del conjunto de estas cuatro pruebas para poner en evidencia que ellas utilizan un grupo semejante de premisas y definiciones. En efecto, nuestro propósito es mostrar que dicho conjunto de pruebas utiliza los mismos principios y, de este modo, que en una reconstrucción axiomática del total de pruebas podemos hallar un número semejante, o incluso mayor, de premisas que de conclusiones. Así, encontramos una forma alternativa para una axiomatización posible en Acerca del cielo de Aristóteles. In On The Heavens there are four crucial proofs of Aristotelian cosmology, namely: proof of the aether existence, proof of the finitude of the universe, proof of its unicity and proof of its ungenerability and its indestructibility. We do a partial reconstruction of the hole of these four proofs to show that they use a similar set of premises and definitions. In fact, our goal is to show that such set of proofs uses the same principles and, in this way, that in a axiomatic reconstruction of the hole of proofs we can find a similar number, even higher, of premises than conclusions. Thus, we find an alternative way for a possible axiomatization on Aristotle's On The Heavens