一般地,能明确指出概念含义或特征的句子,称为定义
例如：（1） 有一个角是直角的三角形,叫做直角三角形．
（2） 有六条边的多边形,叫做六边形．
（3） 在同一平面内,两条不相交的直线叫做平行线．
有些命题可以从公理或其他真命题出发,用逻辑推理的方法判断它们是正确的,并且可以进一步作为判断其他命题真假的依据,这样的真命题叫做定理（theorem）．
例如,运用公理“两角及其夹边分别对应相等的两个三角形全等”,可以得到定理：“两角及其一角的对边分别对应相等的两个三角形全等．”
参考