平行公理不注明平面内的原因：直线外一点与直线构成唯一的平面，而两条平行线也确定唯一的平面，点又在其中一条直线上，所以不说同一平面上，事实上已经确定在同一平面上。

平行公设（parallelpostulate），也称为平行公理、欧几里得第五公设，因是《几何原本》五条公设的第五条而得名。这是欧几里得几何一条与众不同的公理，比前四条复杂。公设是说：如果一条线段与两条直线相交，在某一侧的内角和小于两直角和，那么这两条直线在不断延伸后，会在内角和小于两直角和的一侧相交。