Help


from Wikipedia
« »  
The last axiom eliminates reducible cases that can be written as a disjoint union of projective spaces together with 2-point lines joining any two points in distinct projective spaces.
More abstractly, it can be defined as an incidence structure ( P, L, I ) consisting of a set P of points, a set L of lines, and an incidence relation I stating which points lie on which lines.

2.382 seconds.