如何证明第五公设与平行公设等价?

如何证明第五公设与平行公设等价?

平行公设是第五公设的别称,而"过直线外一点,有且仅有一条直线与该直线平行。"学名应该叫普莱费尔公理。

查了下维基百科,它的原话也没有提到“有且”而是“at most one”:In a plane, given a line and a point not on it, at most one line parallel to the given line can be drawn through the point.

虽然b是符合实际和直觉的,但人家原话语义里没有包含b。