AXIOM I-1: For every point P and for every point Q not equal to P there exists a unique
line that passes through P and Q.
AXIOM I-2: For every line there exist at least two distinct points incident with .
AXIOM I-3: There exist three distinct points with the property that no line is incident
with all three of them