Towards Arithmetic Geometry