The concept of congruence in Euclidean geometry is not exactly the same as that in non-Euclidean geometry. ..."Congruent" means in Euclidean geometry… - Hans Reichenbach

Euclidean geometry can be easily visualized; this is the argument adduced for the unique position of Euclidean geometry in mathematics. It has been argued that mathematics is not only a science of implications but that it has to establish preference for one particular axiomatic system. Whereas physics bases this choice on observation and experimentation, i.e., on applicability to reality, mathematics bases it on visualization, the analogue to perception in a theoretical science. Accordingly, mathematicians may work with the non-Euclidean geometries, but in contrast to Euclidean geometry, which is said to be "intuitively understood," these systems consist of nothing but "logical relations" or "artificial manifolds". They belong to the field of analytic geometry, the study of manifolds and equations between variables, but not to geometry in the real sense which has a visual significance.

Carnap calls such concepts as point, straight line, etc., which are given by implicit definitions, improper concepts. Their peculiarity rests on the fact that they do not characterize a thing by its properties, but by its relation to other things. Consider for example the concept of the last car of a train. Whether or not a particular car falls under this description does not depend on its properties but on its position relative to other cars. We could therefore speak of relative concepts, but would have to extend the meaning of this term to apply not only to relations but also to the elements of the relations.

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.