Construct an example of a set P, some subsets of P (lines), and a distance function d: PxP-->R.?

You'll need to give a more complete list of what your axioms are. Basic incidence geometry doesn't involve metrics, and you seem to have numbered the incidence axioms in an unusual way.