But the deduction of these theorems by a systematic process, and the primary exhibition of the simplest principles involved in the idea of space, which such a deduction requires, did not take place, so far as we are aware, till a period somewhat later. The _Elements of Geometry_ of Euclid, in which this task was performed, are to this day the standard work on the subject: the author of this work taught mathematics with great applause at Alexandria, in the reign of Ptolemy Lagus, {99} about 280 years before Christ. The principles which Euclid makes the basis of his system have been very little simplified since his time; and all the essays and controversies which bear upon these principles, have had a reference to the form in which they are stated by him. 2. _Definitions._--The first principles of Euclid's geometry are, as the first principles of any system of geometry must be, definitions and axioms respecting the various ideal conceptions which he introduces; as straight lines, parallel lines, angles, circles, and the like. But it is to be observed that these definitions and axioms are very far from being arbitrary hypotheses and assumptions. They have their origin in the idea of space, and are merely modes of exhibiting that idea in such a manner as to make it afford grounds of deductive reasoning. The axioms are necessary consequences of the conceptions respecting which they are asserted; and the definitions are no less necessary limitations of conceptions; not requisite in order to arrive at this or that consequence; but necessary in order that it may be possible to draw any consequences, and to establish any general truths. For example, if we rest the end of one straight staff upon the middle of another straight staff, and move the first staff into various positions, we, by so doing, alter the angles which the first staff makes with the other to the right hand and to the left. But if we place the staff in that special position in which these two angles are equal, each of them is a right angle, according to Euclid; and this is the _definition_ of a right angle, except that Euclid employs the abstract conception of straight lines, instead of speaking, as we have done, of staves. But this selection of the case in which the two angles are equal is not a mere act of caprice; as it might have been if he had selected a case in which these angles are unequal in any proportion. For the consequences which can be drawn concerning the cases of unequal angles, do not lead to general truths, without some reference to that peculiar case in which the angles are equal: and thus it becomes necessary to {100} single out and define that special case, marking it by a special phrase. And this definition not only gives complete and distinct knowledge what a right angle is, to any one who can form the conception of an angle in general; but also supplies a principle from which all the properties of right angles may be deduced.