It is true that these principles,--our elementary Definitions and Axioms,--even taken all together, express the Idea incompletely. Thus the Definitions and Axioms of Geometry, as they are stated in our elementary works, do not fully express the Idea of Space as it exists in our minds. For, in addition to these, other Axioms, independent of these, and no less evident, can be stated; and are in fact stated when we come to the Higher Geometry. Such, for instance, is the Axiom of Archimedes--that a curve line which joins two points is less than a broken line which joins the same points and includes the curve. And thus the Idea is disclosed but not fully revealed, imparted but not transfused, by the use we make of it in science. When we have taken from the fountain so much as serves our purpose, there still remains behind a deep well of truth, which we have not exhausted, and which we may easily believe to be inexhaustible. {{76}} CHAPTER VI. THE FUNDAMENTAL IDEAS ARE NOT DERIVED FROM EXPERIENCE. 1. BY the course of speculation contained in the last three Chapters, we are again led to the conclusion which we have already stated, that our knowledge contains an ideal element, and that this element is not derived from experience. For we have seen that there are propositions which are known to be necessarily true; and that such knowledge is not, and cannot be, obtained by mere observation of actual facts. It has been shown, also, that these necessary truths are the results of certain fundamental ideas, such as those of space, number, and the like. Hence it follows inevitably that these ideas and others of the same kind are not derived from experience. For these ideas possess a power of infusing into their developments that very necessity which experience can in no way bestow. This power they do not borrow from the external world, but possess by their own nature. Thus we unfold out of the Idea of Space the propositions of geometry, which are plainly truths of the most rigorous necessity and universality. But if the idea of space were merely collected from observation of the external world, it could never enable or entitle us to assert such propositions: it could never authorize us to say that not merely some lines, but _all_ lines, not only have, but _must_ have, those properties which geometry teaches. Geometry in every proposition speaks a language which experience never dares to utter; and indeed of which she but half comprehends the meaning. Experience sees that the assertions are true, but she sees not how profound and absolute is their truth. {77} She unhesitatingly assents to the laws which geometry delivers, but she does not pretend to see the origin of their obligation. She is always ready to acknowledge the sway of pure scientific principles as a matter of fact, but she does not dream of offering her opinion on their authority as a matter of right; still less can she justly claim to be herself the source of that authority.