File:MathFoundations23 The basic framework for geometry (I)