Выдержка из книги
Картеси Ф.N.
Введение в конечные геометрии
Гильберт фиксирует три точки О, U и V на прямой и, опираясь на аксиомы инцидентности и D-теорему, указывает две конструкции, каждая из которых по любой паре точек прямой, отличных от V, позволяет найти определенную точку прямой, также отличную от V. Одну из операций Гильберт называет сложением, другую - умножением и доказывает, что для этих операций выполняются все аксиомы поля, кроме аксиомы о коммутативности умножения. Для коммутативности умножения необходимо и достаточно, чтобы выполнялась еще теорема Паскаля ( сокращенно: Р - теорема) о шести точках, располагающихся по три на каждой из двух данных прямых.
