4. Какие утверждения называются аксиомами? Сформулируйте аксиому параллельныхпрямых.

Аксиома - утверждение, устанавливающее некоторое свойство и принимаемое без доказательства. Аксиомы возникли из опыта, и опыт же проверяет их истинность в совокупности. Можно построить систему аксиом различными способами. Однако важно, чтобы принятый набор аксиом был минимальным и достаточным для доказательства всех остальных геометрических свойств. Заменяя в этом наборе одну аксиому другой, мы должны будем доказывать заменённую аксиому, так как она теперь уже не аксиома, а теорема. Через любую точку, не лежащую на данной прямой, можно провести прямую, параллельную данной, и притом только одну.

Параллельные прямые не пересекаются.