As long ago as 1854, Riemann drew the correct conclusion: There must exist a geometrical theory of surfaces completely independent of R3, a geometry built from the start solely of isometric invariants. In this chapter we describe the fundamentals of the resulting theory, concentrating on its dominant features: Gaussian curvature and geodesics. Our constant guides will be the two special cases that led to its discovery: the intrinsic geometry of surfaces in R3, and Euclidean geometry---particularly that of the plane R2.