On the axiomatics of projective and affine geometry in terms of line intersection

Abstract

By providing explicit definitions, we show that in both affine and projective geometry of dimension $\geq 3$, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate as primitive notion, non-intersection of two lines can be positively defined in terms of line-intersection.