Начало см. здесь и здесь.

Кокстер Х. С. М.
Действительная проективная плоскость.

М.: Физматлит, 1959, cc. 32 — 33.

Указанную книгу Кокстера можно взять здесь: http://px-pict.com/books/kokster.rar
(это заархивированный djvu - файл).

О точках и прямых см. в "первоначальных понятиях". Об операциях соединения и пересечения см. здесь.

Объяснение символики (со знаком "точки") для обозначения операции пересечения двух прямых, см. здесь. Аксиомы 2.21, 2.23 и 2.24 см. здесь. Предложение 2.26 см. здесь. Теорему Дезарга 1.52 "о двух треугольниках" см. здесь.

Речь идет об "аксиомах инцидентности".