"If two right lines cut one another, they will form the angles at the vertex equal. ... This... is what the present theorem evinces, that when two right lines mutually cut each other, the vertical angles are equal. And it was first invented according to Eudemus by Thales..."
Proclus Lycius, called Proclus the Successor, was a Greek Neoplatonist philosopher, one of the last major classical philosophers of late antiquity. He set forth one of the most elaborate and fully developed systems of Neoplatonism and, through later interpreters and translators, exerted an influence on Byzantine philosophy, early Islamic philosophy, scholastic philosophy, and German idealism, espe
"The mathematician speculates the causes of a certain sensible effect, without considering its actual existence; for the contemplation of universals excludes the knowledge of particulars; and he whose intellectual eye is fixed on that which is general and comprehensive, will think but little of that which is sensible and singular."
"But after these, Pythagoras changed that philosophy, which is conversant about geometry itself, into the form of a liberal doctrine, considering its principles in a more exalted manner; and investigating its theorems immaterially and intellectually; who likewise invented a treatise of such things as cannot be explained in geometry, and discovered the constitution of the mundane figures."
"It is told that those who first brought out the irrationals from concealment into the open perished in shipwreck, to a man. For the unutterable and the formless must needs be concealed. And those who uncovered and touched this image of life were instantaneously destroyed and shall remain forever exposed to the play of the eternal waves."
"For this, to draw a right line from every point, to every point, follows the definition, which says, that a line is the flux of a point, and a right line an indeclinable and inflexible flow."
"He is verbose and dull, but luckily he has preserved for us quotations from other and better authorities."
"According to the account of Proclus (Book II. c. 4 ), Pythagoras was the first who gave to Geometry the form of a deductive science, by shewing the connexion of the geometrical truths then known, and their dependence on certain first principles."