A point A is incident to a line l iff A l We will call this

A point A is incident to a line l iff A ? l. We will call this model the rational affine plane. It satisfies all 3 of the incidence axioms and all 4 of the betweeness axioms.

In this problem verify that this model satisfies the 4’th betweeness axiom (Plane Separation). (You may assume that this model satisfies all 3 incidence axioms and the first 3 betweeness axioms.)

Solution

The Axioms of Incidence:

The following axioms set out the basic incidence relations between lines, points and planes. They also characterise the concept of ``dimension\'\' that we associate with these notions.