Show that there are essentially only two models for the following axiom system: Undefined Terms: point, adjacent to, and color.
AXIOMS:
(1) There are exactly five points.
(2) If point A is adjacent to point B, then point B is adjacent to point A.
(3) If point A is not adjacent to point B, then there exists a point C to which A and B are mutually adjacent.
(4) Each point is assigned a color, red or green.
(5) Any two adjacent points are assigned to different colors.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.