Geometry :: Axiom :: Incidence Elliptic Parallel
For every line \(l\) and for every point \(P\) that does not lie on \(l\), there is no 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 no line \(m\) such that \(P\) lies on \(m\) and \(m \parallel l\).