Según el programa de Erlangen, la geometría euclidiana sería el estudio de los invariantes de las isometrías en un espacio euclidiano (espacio vectorial real de dimensión finita, dotado de un producto escalar).