text: В этом случае проективное пространство определяется как система, состоящая из множества точек P, множества прямых L и отношения инцидентности I, которое обычно выражается словами «точка лежит на прямой», удовлетворяющая следующим аксиомам: Для любых двух различных точек существует единственная прямая, инцидентная обоим точкам; Каждая прямая инцидентна не менее чем трём точкам; Если прямые L и M пересекаются (имеют общую инцидентную точку), точки p и q лежат на прямой L, а точки s и r — на прямой M, то прямые ps и qr пересекаются.