プレイフェアの公理

statement equivalent to Euclid's parallel postulate, that given a line and a point not on it, there is at most one line parallel to the given line through the point