Consider the following axiom system Axiom 1 There exists exa
Consider the following axiom system.
Axiom 1: There exists exactly 6 points.
Axiom 2: Given two points, there is exactly one line incident with both points.
Axiom 3: Every line contains at least two points.
Axiom 4: Not all points are on the same line.
Axiom 5: Given a line l and a point P not on l, there is exactly one line through P that does not intersect l.
Determine whether this axiom system is consistent or not. Completely justify your conclusion.
Solution
The axiom 1 is not correct.
All the other axioms are correct and consistent.
Because there cannot be exactly 6 points, it can be more than that.

