Un teorema es cualquier proposición que se desprende de otra proposición o proposiciones dadas por supuestas o previamente demostradas dentro del sistema.