"For every line l and for every point P not lying on a given line l, there exists a unique line m passing through P and parallel to l " is known as Playfair’s axiom.