定理

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