Аксиома Плейфера
[[Посылка (логика)|Исходное условие]] аксиомы Плейфера: прямая и точка вне прямой
[[Умозаключение|Логическое следствие]] аксиомы Плейфера: вторая прямая, параллельная первой и проходящая через точку
Аксиома Плейфера — это аксиома, которая может быть использована вместо пятого постулата Евклида (аксиомы параллельности):
Если дана прямая на плоскости и точка вне этой прямой, максимум одна прямая, параллельная данной прямой, может быть проведена через точку.

Аксиома Плейфера эквивалентна аксиоме параллельности Евклида в контексте евклидовой геометрии. Аксиома была названа именем шотландского математика Джона Плейфера. Фраза «максимум одна», это всё, что нужно, поскольку из остальных аксиом можно доказать, что хотя бы одна прямая существует. Утверждение часто записывается в виде, «существует одна и только одна параллельная». В «Началах» Евклида две прямые называются параллельными, если они не пересекаются и других описаний параллельных прямых не используется.

Аксиома используется не только в евклидовой геометрии, но и также в аффинной геометрии, в которой понятие параллельности является центральным. В условиях аффинной геометрии нужна более сильная форма аксиомы Плейфера (в которой «максимум одна» заменено на «одна и только одна»), поскольку аксиомы нейтральной геометрии не дают доказательство существования. Версия Плейфера аксиомы стала настолько популярна, что о ней говорят как об "аксиоме параллельности Евклида", хотя она не является евклидовой версией аксиомы.
Из аксиомы вытекает, что бинарное отношение параллельности прямых является .
[[Посылка (логика)|Исходное условие]] аксиомы Плейфера: прямая и точка вне прямой
UNK
[[Умозаключение|Логическое следствие]] аксиомы Плейфера: вторая прямая, параллельная первой и проходящая через точку
UNK
Q17736
аксиома
Concept
Q8747
Евклид
PER
Q207014
аксиомы параллельности
Concept
Q53875
параллельная
Concept
Q162886
евклидовой геометрии
Concept
Q170790
математик
Concept
Q389666
Джона Плейфера
PER
Q172891
«Началах» Евклида
ORG
Q382520
аффинной геометрии
Concept
Q130901
бинарное отношение
Concept
Q3915714
Аксиома Плейфера
UNK
Q3915714
Аксиома Плейфера
UNK
instance of
occupation