axiam 1: every line is a set of points.
axiam 2: for each line 'L' there is a point on 'L'.
axiam 3: there exists at least 2 points.
axiam 4:for every point of distinct points there is one and only one line containing these points.
show that there are at least three lines.
actually i can't get...
