Картинки из квадратов \ О гармоническом \ Гармоничная геометрия \ Основные понятия проективной геометрии \ Действительная проективная плоскость (Х. С. М. Кокстер) \ Непрерывность \
 

10.3.4.7.10.3. Доказательство того,
что совокупность всех точек прямой
есть совершенное множество

 
Начало см. здесь.
Кокстер Х. С. М.
Действительная проективная плоскость.
М.: Физматлит, 1959, cc. 210 — .
Указанную книгу Кокстера можно взять здесь: http://px-pict.com/books/kokster.rar
(это заархивированный djvu - файл).
Определение фундаментального для проективной геометрии понятия "четвертой гармонической точки" см. у Н. В. Ефимова здесь.