第五公设：指欧几里得《几何原本》中的第五公设，是指同一平面内的两条直线与第三条直线相交，若其中一侧的两个内角之和小于二直角，则该两直线必在这一侧相交。因它与平行公理是等价的，所以又称为欧几里得平行公设，简称平行公设。
非欧几何：非欧几何是一门大的数学分支，一般来讲 ，他有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里的几何学不同的几何学，狭义的非欧几何只是指罗式几何来说的，至于通常意义的非欧几何，就是指罗式几何和黎曼几何这两种几何。
《几何原本》中由于第五公设的内容和叙述比前四条公设复杂，所以引起后人的不断研究和探讨，在两千多年间，许多学者试图用《几何原本》中其余公设和推论证明，然而都没有成功，但却从中获得了一些和第五公设等价的命题。后来，到19世纪，几位数学家否定第五公设，推导出一些和欧几里得几何不同的新命题，从而导致非欧几里得几何的产生，即非欧几何。