aksiom o vzporednicah, osnova evklidske (Evklid iz Aleksandrije) geometrije: skozi vsako točko, ki ne leži na dani premici, poteka natanko ena vporednica dane premice. Naj bo a poljubna premica in P poljubna točka, ki ne leži na a. Tedaj obstaja v ravnini, ki jo določata a in P, natanko ena premica skozi P, ki ne seka premice a. Imenujemo jo vzporednica k a skozi P.