Title: Metric methods in Finster spaces and in the foundations of geometry