Exercise 1.6 in Greenberg’s Euclidean and Non-Euclidean Geometries: “Betweenness” and “Lying On”

Undefined terms: point, line, lie on, between, and congruent.

Postulate I. For every point $P$ and for every point $A$ not equal to $P$ there…