在数学上,推论(corollary, 也称为系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出,则称B为A的推论。
推论、定理、命题等术语的使用区别往往是比较主观的,因为“简单明了”的定义本来就与作者及上下文相关。当然,推论一般被认为不如定理重要。