一般地,能明确指出概念含义或特征的句子,称为定义

　　例如：（1）有一个角是直角的三角形,叫做直角三角形．

　　（2）有六条边的多边形,叫做六边形．

　　（3）在同一平面内,两条不相交的直线叫做平行线．

　　有些命题可以从公理或其他真命题出发,用逻辑推理的方法判断它们是正确的,并且可以进一步作为判断其他命题真假的依据,这样的真命题叫做定理（theorem）．

　　例如,运用公理“两角及其夹边分别对应相等的两个三角形全等”,可以得到定理：“两角及其一角的对边分别对应相等的两个三角形全等．”

　　参考