Недезаргова геометрия

• плоскость Кэли — проективная плоскость над алгеброй Кэли ${\displaystyle \mathbb {O} }$.

Теорема Дезарга не может быть доказана в плоскости на основе лишь проективных аксиом плоскости без привлечения аксиом конгруэнтности или без привлечения пространственных аксиом. Например, в геометрии плоскости, построенной на основе всех плоскостных системы аксиом Гильберта, за исключением аксиомы конгруэнтности треугольников, теорема Дезарга не может быть получена как их следствие. Геометрия этой плоскости является недезарговой, она не может рассматриваться как часть пространственной геометрии, в которой выполняются все аксиомы системы Гильберта, кроме указанной аксиомы конгруэнтности. Другими словами недезаргова проективная плоскость не вкладывается в проективные пространства высших размерностей.

Возможность построения недезарговой геометрии плоскости позволяет выяснить независимость различных групп аксиом системы Гильберта, а также выяснить роль теоремы Дезарга как независимой дополнительной аксиомы плоской проективной геометрии.

• Неевклидова геометрия
• Неархимедова геометрия