Teorema

Affermazione, conseguenza logica di altre affermazioni primitive (postulati o assiomi).
L'enunciato di un teorema è divisibile in due parti, la prima detta ipotesi da cui discende una seconda detta tesi.
È detto lemma un teorema provato e successivamente utilizzato nella dimostrazione di un altro teorema.
È detto corollario di un certo teorema un teorema facilmente deducibile dallo stesso.