The axioms of projective geometry