The proof of that axiom would have to be derived from the concept of parallel lines; any such proof, however, has no place in his science, no more than does the deduction of his definitions, of his axioms and his subject matter in general, of space itself and its first determinations, the dimensions.