从公理出发，演绎推导出来的真实命题。如“在任何一个三角形中，如果两角相等，则其对边也相等”，就是几何学中的一个定理。