Axiomatic geometry