File:MathFoundations25 The basic framework for geometry (III)