Непаскалева геометрия

- геометрия с некоммутативным умножением. Вследствие того, что в аффинной геометрии свойство коммутативности умножения эквивалентно Паскаля теореме, то непаскалевой обычно наз. геометрию, в к-рой не имеет места предложение: нусть на каждой из двух пересекающихся прямых даны три точки А, В, С и соответственно А 1,В 1, С 1, отличные от точки пересечения данных прямых; если СВ 1 параллельна ВС 1 и СА 1 параллельна АС 1, то ВА 1 будет параллельна АВ 1;эту теорему иногда наз. теоремой Паппа, она является частным случаем теоремы Паппа - Паскаля из теории конич. сечений. Возможность построения Н. г. вытекает из того, что указанная теорема Паскаля не является следствием аксиом инцидентности, порядка, параллельности при условии исключения метрич. аксиом в системе аксиом Гильберта. С другой стороны, существование Н.. г. связано также с возможностью построения геометрии над некоммутативным телом, то есть Н. г. является в то же время и неархимедовой геометрией. Значение Н. г. определяется ролью теоремы Паскаля в исследованиях, связанных с установлением независимости системы аксиом, логич. связи между предложениями.