出典:デジタル大辞泉(小学館)

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

出典:青空文庫