てい‐り【定理】 ある理論体系において、その公理や定義をもとにして証明された命題で、それ以降の推論の前提となるもの。「ピタゴラスの―」