No More Learning

When enough abstract logical
properties of such relations have been enumerated to determine the
resulting kind of geometry, say, for example, Euclidean geometry, it
becomes unnecessary for the pure           in his abstract capacity to
distinguish between the various relations which have all these
properties.