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

Hans Havlicek, Victor Pambuccian

By providing explicit definitions, we show that in both affine and projective geometry of dimension $\ge 3$, considered as first-order theories axiomatized in terms of lines as th…