Теорема Паша — один из примеров утверждения в евклидовой геометрии, которое не может быть выведено из постулатов Евклида.
Установлена Морицем Пашем в 1882 годуPasch, Moritz. Vorlesungen über neuere Geometrie (Leipzig, 1882). В аксиоматике Гильберта теорема Паша выводится, в частности, из аксиомы Паша.
Формулировка Если точки , , и лежат на прямой и известно, что лежит между и , a лежит между и , тогда лежит между и . В этой книге данное утверждение приводится в п. 12.274, но не называется теоремой Паша..
Примечания
Литература
Категория:Планиметрия Категория:Основания геометрии Категория:Теория порядков Категория:Теоремы геометрии