Text this: Axiomatic projective geometry.