(gr. porisma; lat. Corollarium; in. Corollary; fr. Corollaire; al. Korollar, it. Corollario).
O que se deduz de uma demonstração precedente, como uma espécie de acréscimo ou ganho extraordinário (Euclides, El, III, 1); também pode ser uma espécie de proposição intermediária entre o teorema e o problema (Proclo, In Eucl, p. 301 F). Esse termo estendeu-se para a linguagem filosófica graças a Boécio (Phil. cons., III, 10). No primeiro sentido, o corolário às vezes foi chamado de consectarium (Jungius, Logica hamburgensis, IV, 11, 13). A diferença entre teorema e corolário é desprezada pela lógica contemporânea. [Abbagnano]