Geometry :: Axiom :: Incidence Euclidean Parallel
For every line \(l\) and for every point \(P\) that does not lie on \(l\), there is exactly one line \(m\) such that \(P\) lies on \(m\) and \(m \parallel l\).
For every line \(l\) and for every point \(P\) that does not lie on \(l\), there is exactly one line \(m\) such that \(P\) lies on \(m\) and \(m \parallel l\).