Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Аксиома Плейфера
В контексте абсолютной геометрии два утверждения эквивалентны, что означает, что одно утверждение может быть доказано из другого при наличии других аксиом геометрии. Утверждения не являются логически эквивалентными (что означало бы, что одно может быть доказано из другого только с помощью формальных логических выводов), поскольку, например, в сферической модели эллиптической геометрии одно утверждение верно, а другое ложно. Логически эквивалентное утверждение верно во всех моделях, в которых оно интерпретируется.