  Hence we have here before us the natural general basis on which that  notion rests. The infinitesimal trend in geometry initiated by Gauss’ theory of curved surfaces now merges with that other line of thought  that culminated in Klein’s Erlanger program. 