Um corolário é uma afirmação que decorre facilmente de algo que acabou de ser provado. Ou seja, é um resultado que se segue facilmente ou é facilmente deduzido a partir do resultado principal. Por exemplo, em relação ao problema lógico do mal, uma defesa do livre-arbítrio, como a esboçada por Plantinga (2000), conclui que há um mundo possível $M$ em que Deus e o mal são consistentes; um corolário dessa conclusão é que Deus existe nesse mundo possível $M$.
Plantinga, Alvin. 2000. Warranted Christian Belief. Oxford University Press.
Esta entrada será publicada no Dicionário de Espiritualidade e Mística (IEAC-GO).