a) Consider the interpretations of "point", "line", and "plane" given below. Check whether Axiom 1 and the plane axioms PA1, PA2, and PA3 are satisfied.
Points - 1, 2, 3, 4
Lines - {1, 2, 3}, {1, 4}, {2, 4}
Planes - {1, 2, 3, 4}, {1, 2, 3, 5}, {2, 3, 4}
b) Make corrections to the interpretations in part a) so that it does indeed model axioms A1, PA1, PA2, and PA3.
Points - 1, 2, 3, 4
Lines - {1, 2, 3}, {1, 4}, {2, 4}
Planes - {1, 2, 3, 4}, {1, 2, 3, 5}, {2, 3, 4}
b) Make corrections to the interpretations in part a) so that it does indeed model axioms A1, PA1, PA2, and PA3.