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