add the Foundation of Geometry for Hilbert
The end experssion of function