Axiomatic Projective Geometry

Abstract

The axiomatic treatment of plane projective geometry has at its starting point three undefined terms: point, line and incidence. We are given one set P, which we call the set of points, and another set L which we call the set of lines. Further, there is given a relation between elements from P and elements from L which is denoted by I, and referred to as incidence. If PIα holds for P ∈ P and α ∈ L, then we say that the point P is incident with the line α.