Common to the two geometries is only the general property of one-to-one correspondence, and the rule that this correspondence determines straight lines as shortest lines as well as their relations of intersection.

If error is corrected whenever it is recognized as such, the path of error is the path of truth.

The essence of knowledge is generalization. That fire can be produced by rubbing wood in a certain way is a knowledge derived by generalization from individual experiences; the statement means that rubbing wood in this way will always produce fire. The art of discovery is therefore the art of correct generalization. ... The separation of relevant from irrelevant factors is the beginning of knowledge.

Common to the two geometries is only the general property of one-to-one correspondence, and the rule that this correspondence determines straight lines as shortest lines as well as their relations of intersection.

...the differential element of non-Euclidean spaces is Euclidean. This fact, however, is analogous to the relations between a straight line and a curve, and cannot lead to an epistemological priority of Euclidean geometry, in contrast to the views of certain authors.

...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condition can replace the definition of congruence.

It appears that the solution of the problem of time and space is reserved to philosophers who, like Leibniz, are mathematicians, or to mathematicians who, like Einstein, are philosophers.