欧几里得第五公设

亦称平行公理。欧几里得《几何原本》五个公设中的最后一个，故名。内容是：若一直线与两直线相交，且同侧所交两内角之和小于两直角，则两直线无限延长后必相交于该侧一点。其等价命题为过直线外一点，只能作一直线与已知直线相平行。法国的普雷菲尔在1795年校订《几何原本》时首先采用，故又称“普雷菲尔公理”。