Describir: Axiomatic projective geometry