Suppose we replace Incidence Axiom 4 with the following: Givenany line, there are at least three distinct points that lie onit.
What is the smallest number of points in a model for thisgeometry? More precisely, find a number n such that every model hasat least n points and there is at least one model that has only npoints, and explain why your answer is correct.