- Thread starter
- #1

- Mar 10, 2012

- 835

If $F$ is a field, and if there is a notion of betweenness in the Cartesian plane $\Pi_F$ satisfying Hilbert's axioms (B1)-(B4), then $F$ must be an ordered field.

The proof in the book reads as follows:

Suppose that $F$ is a field and there is a notion of betweenness in the plane $\Pi_F$ satisfying (B1)-(B4). We define the subset $P \subset F$ to consist of all $a \in F$ such that the point $(a,0)$ of the x-axis is on the same side of $0$ as $1$.

"Now one can easily show that $a,b \in P \Rightarrow a+b \in P$."

... Which I am not able to show and so I need your help.

I was able to prove, using Pasch's axiom of betweenness, a.k.a (B4) in the book, that $(0,0)*(1,0)*(a,0) \Rightarrow (0,0)*(0,1)*(0,a)$ .But now I am stuck. Can someone help.