Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Аксиома Плейфера
Аксиома используется не только в евклидовой геометрии, но и также в аффинной геометрии, в которой понятие параллельности является центральным. В условиях аффинной геометрии нужна более сильная форма аксиомы Плейфера (в которой «максимум одна» заменено на «одна и только одна»), поскольку аксиомы нейтральной геометрии не дают доказательство существования. Версия Плейфера аксиомы стала настолько популярна, что о ней говорят как об "аксиоме параллельности Евклида", хотя она не является евклидовой версией аксиомы.
Из аксиомы вытекает, что бинарное отношение параллельности прямых является .