Prove that if $l$ is a line in the classical euclidean plane, then there is a point $p$ that lies on $l$ Suppose that $\mathbb{P}$ is a Classical Euclidean Plane (satisfies all five of Euclid's postulates). Can you prove that if $L$ is a line in $\mathbb{P}$, then there is at least one point $p$ in $\mathbb{P}$ such that $p$ lies on $L$. Similarly, can you prove that there is at least one point $q$ such that $q$ does not lie on $L$?
Here's what I've tried so far:
My initial reaction is that there isn't enough information in the postulates to prove either of these results. Here's why:
The most promising postulate from which to prove the answer to the first question is the first postulate. The first postulate states that $\textbf{if}$ $p$ and $q$ are points in $\mathbb{P}$ and $p\neq q$, $\textbf{then}$ there exists a unique line $L$ in $\mathbb{P}$ such that $p$ and $q$ both lie on $L$. I don't think this is enough to prove the answer to our first question, as it only states that a line exists, given two distinct points. It doesn't say that points on a given a line exist.
The most promising postulate from which to prove the answer to the second question is the infamous parallel postulate. It states that $\textbf{if}$ $L$ is a line in $\mathbb{P}$ and $p$ is a point in $\mathbb{P}$ such that $p$ does not lie on $L$, $\textbf{then}$ there is a unique line $M$ in $\mathbb{P}$ such that $L$ is parallel to $M$ and $p$ lies on $M$. Again, I don't think this postulate contains enough information to prove that given a line, there is a point not on that line. It merely states that given a line and a point not on that line, we can find only one line parallel to the first which passes through that point.
For those two reasons, I think that the answer to both questions is 'no'. If I am incorrect about this hypothesis, could someone please show me how to prove these results from the postulates? If I am correct, then it is clear that Euclid's postulates were unsatisfactory for the way we do geometry.
 A: Euclid's postulates have for a long time been known to be incomplete. In fact, in his very first proposition he just assumes that two circles with a common radius in fact intersect.
There have been numerous attempts to rectify this, most famously David Hilbert's axioms of geometry. You can read about them and the history of axiomatic geometry in Greenberg's "Euclidian and non-euclidian geometry" or Hartshorne's "Geometry: Euclid and beyond"
A: Euclid defines a line as a set of points, so that covers your first statement.  Euclid's postulate on the existence of a circle which has the segment as a radius should give you the existence of points outside the line.
A: Euclid's axioms are incomplete(as has been pointed out), especially on small points like this, Hilbert assumes:
"Each line contains at least two distinct points."
So that gives you more than what you need.
As for the circles intersecting that has been mentioned in other answers, this is a more complicated question, it follows from the completeness axiom. Although I would like to know if it can be proved without completeness.
