A translation of Proclus's exposition of Euclid's methods and principles. This primary source for the history of mathematics contains much information about the work of mathematicians of the classical period. It is a rare work from antiquity which expounds the philosophy of mathematics.