so without being embedded in a higher dimension. This could be called the axiom of hetero-curvature, and it would make true non-Euclidean geometry possible, since lines with non-Euclidean relations to each other would be straight in the common meaning of the term understood by Euclid or Kant...