2. That our mode of representing space to ourselves is not derived from experience, is clear also from this: that through this mode of representation we arrive at propositions which are rigorously universal and necessary. Propositions of such a kind could not possibly be obtained from experience; for experience can {92} only teach us by a limited number of examples, and therefore can never securely establish a universal proposition: and again, experience can only inform us that anything is so, and can never prove that it must be so. That two sides of a triangle are greater than the third is a universal and necessary geometrical truth: it is true of all triangles; it is true in such a way that the contrary cannot be conceived. Experience could not prove such a proposition. And experience has not proved it; for perhaps no man ever made the trial as a means of removing doubts: and no trial could, in fact, add in the smallest degree to the certainty of this truth. To seek for proof of geometrical propositions by an appeal to observation proves nothing in reality, except that the person who has recourse to such grounds has no due apprehension of the nature of geometrical demonstration. We have heard of persons who convinced themselves by measurement that the geometrical rule respecting the squares on the sides of a right-angled triangle was true: but these were persons whose minds had been engrossed by practical habits, and in whom the speculative development of the idea of space had been stifled by other employments. The practical trial of the rule may illustrate, but cannot prove it. The rule will of course be confirmed by such trial, because what is true in general is true in particular: but the rule cannot be proved from any number of trials, for no accumulation of particular cases makes up a universal case. To all persons who can see the force of any proof, the geometrical rule above referred to is as evident, and its evidence as independent of experience, as the assertion that sixteen and nine make twenty-five. At the same time, the truth of the geometrical rule is quite independent of numerical truths, and results from the relations of space alone. This could not be if our apprehension of the relations of space were the fruit of experience: for experience has no element from which such truth and such proof could arise.