在數學上,推論(corollary, 也稱為系理)指能夠「簡單明了地」從前述命題推出的論斷,推論往往在定理後出現。如果命題B能夠被簡單明了的從命題A推導出,則稱BA推論

推論定理命題等術語的使用區別往往是比較主觀的,因為「簡單明了」的定義本來就與作者及上下文相關。當然,推論一般被認為不如定理重要。

參見 編輯