Euclidean geometry is thus best understood as one formal system among many, whose truth is relative ...