Corolario —un resultado en el que la prueba (generalmente corta) se basa en gran medida en un teorema dado (a menudo decimos que “esto es un corolario del Teorema A”). El término paradoja también se e...Corolario —un resultado en el que la prueba (generalmente corta) se basa en gran medida en un teorema dado (a menudo decimos que “esto es un corolario del Teorema A”). El término paradoja también se emplea de manera informal para describir un resultado sorprendente o contradictorio que se desprende de un conjunto determinado de reglas (Banach-Tarski Paradox, Alabama Paradox, Gabriel's Horn).