梯形是欧氏的。梯形是只有一组对边平行的四边形。平行的两边叫做梯形的底边，较长的一条底边叫下底，较短的一条底边叫上底。另外两边叫腰，夹在两底之间的垂线段叫梯形的高。一腰垂直于底的梯形叫直角梯形，两腰相等的梯形叫等腰梯形。
欧氏几何公理是欧几里得建立的几个几何公理，也称欧式几何，它的建立，采用了分析与综合的方法，不止是单独一个命题的前提与结论之间的连结，而是所有几何命题的连结成逻辑网路。
