Skip to main content
Logo image

Section 1.2 Completeness

Definition 1.2.1. Fano Geometry.

Use the following axioms and definitions of intersection and parallel as a definition of the Fano geometry.
  1. There exists at least one line.
  2. There are exactly three points on every line.
  3. Not all points are on the same line.

Checkpoint 1.2.2.

Explore the Fano geometry as follows.
  1. Draw a line using Geogebra.
  2. Add a third point to the line.
  3. Note that Axiom 3 requires one more point. Draw one.
  4. Must any more lines be added? If so, do so.
  5. How many lines are in this geometry?
  6. Add the axiom: every point is on at least one line.
  7. To your line with three points, and one point not on that line add any lines required by this new axiom.
  8. Make sure these lines satisfy Axiom 2.
  9. How many lines are in this geometry?
  10. May any more lines be added? If so, do so, and be sure the axioms are satisfied.
  11. How many lines are in this geometry?
  12. What do the answers to Item 1.2.2.5, Item 1.2.2.9, and Item 1.2.2.11 say about this attempt at constructing a geometry?
  13. What is needed to fix the difficulty noted in the previous question?