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