一般地,能明確指出概念含義或特征的句子,稱為定義
例如：（1） 有一個角是直角的三角形,叫做直角三角形．
（2） 有六條邊的多邊形,叫做六邊形．
（3） 在同一平面內(nèi),兩條不相交的直線叫做平行線．
有些命題可以從公理或其他真命題出發(fā),用邏輯推理的方法判斷它們是正確的,并且可以進一步作為判斷其他命題真假的依據(jù),這樣的真命題叫做定理（theorem）．
例如,運用公理“兩角及其夾邊分別對應(yīng)相等的兩個三角形全等”,可以得到定理：“兩角及其一角的對邊分別對應(yīng)相等的兩個三角形全等．”
參考