Euclidean geometry
勾股定理是由欧几里得几何的公理推导出来的，其在非欧几里得几何中是不成立的。因为勾股定理的成立涉及到了平行公设。