Del lat. theorēma, y este del gr. θεώρημα.
* Proposición demostrable lógicamente partiendo de axiomas o de otros teoremas ya demostrados, mediante reglas de inferencia aceptadas.