You can also replace it with a different postulate and get projective geometry, IIRC.