Аксиома параллельных прямых и следствие из неё доказательство.

Аксиома - такая истина, которую не надо доказывать.

Аксиома параллельных прямых: в одной плоскости с заданной прямой через точку, не лежащую на этой прямой, можно провести только одну прямую, параллельную заданной прямой. Иногда эту аксиому называют как одно из свойств параллельных прямых.

Доказать её довольно легко, ведь если бы были ещё прямые, параллельные данной, то они бы проходили по той прямой, что у нас уже есть, то есть, совпадали бы с ней. В любом случае, только одна прямая осталась бы видимой. Что и требовалось доказать.