Construct a model where it is false but the other Euclidean axioms are true - namely hyperbolic geometry. (I have already discussed this to some extent here .)