Consider the following axiom system.
The undefined terms are point, line, and on.
I. Given any two distinct points, there exactly one line on both of them.
II. Given any line, there is at least one point not on it.
III. Given any line, there are at least five points on it.
IV. There is at least one line.
(a) Prove that there are at least six lines.
(b) Prove that there are at least 21 points.
(a) According to IV, there is at least one line, say L. According to III, there are at least five points A,B,C,D,E on the line L. According to II, there is at least one point, say F, not on L. Now according to I, A and F are two ...
Finite axiomatic geometry is investigated. The response received a rating of "5" from the student who originally posted the question.