riferimento

[ficus2002]

Partendo da questi assiomi della geometria, è possibile dimostrare che, scelta una retta $r$ e un punto $O$ ad essa appertenente, esiste una corrispondenza biunivoca $phi$ tra i punti della retta e i numeri reali tale $phi(O)=0$ e che per ogni $P,Qin r$ è
$P<Q$ se e solo se $phi(P)<phi(Q)$?

(per $P<Q$ intendo dire che $P$ precede $Q$)