Aristotele, Giamblico, Proclo