Plato's forms, mathematics and astronomy