Axiomatic projective geometry